projects
/
IRC.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
dedc69c
)
typo...
author
yeom
<yeom@uci.edu>
Fri, 1 Mar 2013 22:30:44 +0000
(14:30 -0800)
committer
yeom
<yeom@uci.edu>
Fri, 1 Mar 2013 22:30:44 +0000
(14:30 -0800)
Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
patch
|
blob
|
history
diff --git
a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
index ea1ad43389c6519bfca3b22e075fbe0ea629a846..39e51eee4abd3b408fdd3f85005e14e3ab8d92ce 100644
(file)
--- 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
+#NAIVE
F
LAG= -ssjava-infer-naive-writedots
default: $(PROGRAM)s.bin