From: yeom <yeom>
Date: Tue, 12 Jul 2011 23:56:58 +0000 (+0000)
Subject: update makefile
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=3b55677228b450d9af5ba41a0229ade6bae72b3f;p=IRC.git

update makefile
---

diff --git a/Robust/src/Tests/ssJava/mp3decoder/makefile b/Robust/src/Tests/ssJava/mp3decoder/makefile
index 4bf22cbe..55b823cb 100644
--- a/Robust/src/Tests/ssJava/mp3decoder/makefile
+++ b/Robust/src/Tests/ssJava/mp3decoder/makefile
@@ -3,7 +3,7 @@ BUILDSCRIPT=../../../buildscript
 PROGRAM=Player
 SOURCE_FILES=Player.java
 
-BSFLAGS= -32bit -ssjava -printlinenum -mainclass $(PROGRAM)  -heapsize-mb 1000 -garbagestats -joptimize -noloop -optimize -debug 
+BSFLAGS= -32bit -ssjava -ssjavadebug -printlinenum -mainclass $(PROGRAM)  -heapsize-mb 1000 -garbagestats -joptimize -noloop -optimize -debug 
 
 default: $(PROGRAM)s.bin