X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=benchmarks%2Fdrivers%2FJava%2FEspSprinkler%2FEspSprinkler.config;h=e6d46ef355c7d6fb3970289db3d8d63c33505431;hb=aaa765a192fdcd2aaa05fb6b276424652578d0e8;hp=1fe5d043771c18bb4034cb561fc1b7629a8424b7;hpb=7cab636b00bf5afcc441c9e4bdd4d6f4f0e2cf95;p=iot2.git

diff --git a/benchmarks/drivers/Java/EspSprinkler/EspSprinkler.config b/benchmarks/drivers/Java/EspSprinkler/EspSprinkler.config
index 1fe5d04..e6d46ef 100644
--- a/benchmarks/drivers/Java/EspSprinkler/EspSprinkler.config
+++ b/benchmarks/drivers/Java/EspSprinkler/EspSprinkler.config
@@ -5,3 +5,6 @@ INTERFACE_STUB_CLASS=SprinklerSmart
 
 # Language
 LANGUAGE=Java
+
+# Tomoyo
+ADDITIONAL_MAC_POLICY=No