From 9d8a51f537cc1191655e0d8edc7eaffde2503ac7 Mon Sep 17 00:00:00 2001
From: William Roberts <bill.c.roberts@gmail.com>
Date: Mon, 2 Jul 2012 18:55:14 -0700
Subject: [PATCH] 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 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/main.mk b/core/main.mk
index 3337a8a82f..aefedf0b23 100644
--- a/core/main.mk
+++ b/core/main.mk
@@ -230,6 +230,10 @@ ifneq ($(filter sdk win_sdk sdk_addon,$(MAKECMDGOALS)),)
 is_sdk_build := true
 endif
 
+## have selinux ##
+ifeq ($(HAVE_SELINUX),true)
+ADDITIONAL_BUILD_PROPERTIES += ro.build.selinux=1
+endif # HAVE_SELINUX
 
 ## user/userdebug ##