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 ##