From ed12f6e75026818c72cf243db163905f02df2175 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Tue, 7 Apr 2009 20:28:33 +0000
Subject: [PATCH] change of option for makefile

---
 Robust/src/Benchmarks/SingleTM/LeeRouting/makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Benchmarks/SingleTM/LeeRouting/makefile b/Robust/src/Benchmarks/SingleTM/LeeRouting/makefile
index ed703e17..20d23eb9 100644
--- a/Robust/src/Benchmarks/SingleTM/LeeRouting/makefile
+++ b/Robust/src/Benchmarks/SingleTM/LeeRouting/makefile
@@ -5,7 +5,7 @@ SRC=${MAINCLASS}.java \
 	GridCell.java \
 	LeeThread.java \
 	WorkQueue.java 
-FLAGS=-singleTM -thread -optimize -mainclass ${MAINCLASS}
+FLAGS=-singleTM -optimize -mainclass ${MAINCLASS}
 default:
 	../../../buildscript ${FLAGS} -o ${MAINCLASS} ${SRC}
 
-- 
2.34.1