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

diff --git a/benchmarks/Java/HomeSecurityController/HomeSecurityController.config b/benchmarks/Java/HomeSecurityController/HomeSecurityController.config
index 5a44766..b4fe092 100644
--- a/benchmarks/Java/HomeSecurityController/HomeSecurityController.config
+++ b/benchmarks/Java/HomeSecurityController/HomeSecurityController.config
@@ -1 +1,7 @@
 ADDITIONAL_ZIP_FILE=No
+
+# Language
+LANGUAGE=Java
+
+# Tomoyo
+ADDITIONAL_MAC_POLICY=No