X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2Fmakefile;h=39e51eee4abd3b408fdd3f85005e14e3ab8d92ce;hp=ea1ad43389c6519bfca3b22e075fbe0ea629a846;hb=fd76ab25bef61df70e1571a91b3709fab4a4cf18;hpb=dedc69c36bb435ebb675ef84bbbdeb4bc4f0eb09

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
index ea1ad433..39e51eee 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
@@ -6,7 +6,7 @@ SOURCE_FILES=MP3Player.java Player.java
 SSJAVA= -ssjava -ssjavainfer -ssjavadebug
 BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350 -nooptimize -debug -garbagestats #-printlinenum #-joptimize
 
-#NAIVELAG= -ssjava-infer-naive-writedots
+#NAIVEFLAG= -ssjava-infer-naive-writedots
 
 default: $(PROGRAM)s.bin