X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iot2.git;a=blobdiff_plain;f=benchmarks%2FJava%2FHomeSecurityController%2FHomeSecurityController.config;h=b4fe092fa583bd6bbf608f53f56bf5be83f882f5;hp=a3a2f9877a3f39b04113606b0c01737d75a8acc9;hb=591c0aff5bdd49df51c44160688af993615f6e3e;hpb=e7713056b0b0d2f6df424f88317a3d1738f5e3af;ds=sidebyside

diff --git a/benchmarks/Java/HomeSecurityController/HomeSecurityController.config b/benchmarks/Java/HomeSecurityController/HomeSecurityController.config
index a3a2f98..b4fe092 100644
--- a/benchmarks/Java/HomeSecurityController/HomeSecurityController.config
+++ b/benchmarks/Java/HomeSecurityController/HomeSecurityController.config
@@ -2,3 +2,6 @@ ADDITIONAL_ZIP_FILE=No
 
 # Language
 LANGUAGE=Java
+
+# Tomoyo
+ADDITIONAL_MAC_POLICY=No