From 92189ed9b621b4520aa6f2aaab639fbc90b439b7 Mon Sep 17 00:00:00 2001
From: Martin Stjernholm <mast@google.com>
Date: Mon, 16 Jan 2023 17:14:14 +0000
Subject: [PATCH] Add system property for the new boot-after-mainline-update
 compilation reason.

Cherry-picked from internal.

Test: Boot
Bug: 265685704
Change-Id: I11d8d6eac1ea0e9537a839ee39adf3edb51852ec
Merged-In: I11d8d6eac1ea0e9537a839ee39adf3edb51852ec
---
 target/product/runtime_libart.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/target/product/runtime_libart.mk b/target/product/runtime_libart.mk
index bd4fd1cd05..39666ead68 100644
--- a/target/product/runtime_libart.mk
+++ b/target/product/runtime_libart.mk
@@ -122,6 +122,7 @@ endif
 # without exceptions).
 PRODUCT_SYSTEM_PROPERTIES += \
     pm.dexopt.post-boot?=extract \
+    pm.dexopt.boot-after-mainline-update?=verify \
     pm.dexopt.install?=speed-profile \
     pm.dexopt.install-fast?=skip \
     pm.dexopt.install-bulk?=speed-profile \