commit 594165c17b1a60bac3e428fdff882ea61d12db14
author Ying Wang <wangying@android.com> Tue Jul 03 12:20:50 2012 -0700
committer Android Git Automerger <android-git-automerger@android.com> Tue Jul 03 12:20:50 2012 -0700
tree e224a74a21d7decb553365685f2fd06bfbbce8cf
parent 37a51c5adb3b606f321f7294d901d6f351d93195
parent 9ffe27e013c84e036d5e38b02edf3ca12f7405a8

am 9ffe27e0: am 9e38d6bf: Merge "This property is set when HAVE_SELINUX:=true during build."

* commit '9ffe27e013c84e036d5e38b02edf3ca12f7405a8':
  This property is set when HAVE_SELINUX:=true during build.

core/main.mk

diff --git a/core/main.mk b/core/main.mk
index 816de7b..5e2559b 100644
--- a/core/main.mk
+++ b/core/main.mk
@@ -248,6 +248,10 @@
 is_sdk_build := true
 endif
 
+## have selinux ##
+ifeq ($(HAVE_SELINUX),true)
+ADDITIONAL_BUILD_PROPERTIES += ro.build.selinux=1
+endif # HAVE_SELINUX
 
 ## user/userdebug ##