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

diff --git a/benchmarks/drivers/Java/GPSPhoneGateway/GPSPhoneGateway.config b/benchmarks/drivers/Java/GPSPhoneGateway/GPSPhoneGateway.config
index db347f6..33f397d 100644
--- a/benchmarks/drivers/Java/GPSPhoneGateway/GPSPhoneGateway.config
+++ b/benchmarks/drivers/Java/GPSPhoneGateway/GPSPhoneGateway.config
@@ -5,3 +5,6 @@ INTERFACE_STUB_CLASS=GPSGatewaySmart
 
 # Language
 LANGUAGE=Java
+
+# Tomoyo
+ADDITIONAL_MAC_POLICY=No