commit 5f21a0fa928243dfc0d00316f6efb98ff3f8a318
author Martijn Coenen <maco@google.com> Tue Jul 27 13:47:42 2021 +0200
committer Martijn Coenen <maco@google.com> Wed Jul 28 10:50:35 2021 +0200
tree 6817f26b102a35e065b062aaa223fd28f9c8ba51
parent ffa9bb9c6d61985503b20cf7f1edd4747f954953

Allow odsign to stop itself.

Carve out a label for the property, and allow odsign to set it.

Bug: 194334176
Test: no denials
Change-Id: I9dafefabc27c679ed9f36e617e824f44f3b16bbd

private/property.te

diff --git a/private/property.te b/private/property.te
index 49d18ee..3e48962 100644
--- a/private/property.te
+++ b/private/property.te
@@ -37,6 +37,7 @@
 system_internal_prop(verity_status_prop)
 system_internal_prop(zygote_wrap_prop)
 system_internal_prop(ctl_mediatranscoding_prop)
+system_internal_prop(ctl_odsign_prop)
 
 ###
 ### Neverallow rules