commit 9d8a51f537cc1191655e0d8edc7eaffde2503ac7
author William Roberts <bill.c.roberts@gmail.com> Mon Jul 02 18:55:14 2012 -0700
committer William Roberts <bill.c.roberts@gmail.com> Tue Jul 03 11:05:03 2012 -0700
tree d60bf0751a37494075f692932cb9cec8de11a142
parent e42ed0ba1571f20866609710ba7c73fd138c0405

This property is set when HAVE_SELINUX:=true during build.

This will provide a convenient method for determing build
configuration when in the Java layer. For instance, this will
be used in change id I69529fb7a3adfe31eccb16d79740fc4952ff5e68
to determine if the Settings app should display the SE Linux
status.

Change-Id: Idc8dff020aaac41649eac64f5fa8e311dabbc51f

core/main.mk

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