From: yeom Date: Fri, 1 Mar 2013 22:30:44 +0000 (-0800) Subject: typo... X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=fd76ab25bef61df70e1571a91b3709fab4a4cf18;p=IRC.git typo... --- 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