only print out line numbers in debug mode

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index 3e398faee0c41180bc31a7a63efb0db0d066a7c6..1c0ce76c2de7eaee96883c5c8bd1270212280478 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -34,10 +34,10 @@ USECOREPROF= #-coreprof $(COREPROFOVERFLOW) \
 
 USEOOO= -ooojava $(NUM_OOO_WORKERS) 2 -squeue #-ooodebug-disable-task-mem-pool
 USERCR= -ooojava $(NUM_RCR_WORKERS) 2 -rcr -squeue 
-OOODEBUG= -ooodebug
-RCRDEBUG= -rcr_debug
-RCRDEBUGV= -rcr_debug_verbose
-BSFLAGS= -64bit -mainclass $(PROGRAM)  -heapsize-mb 8000 -garbagestats -joptimize -noloop -optimize -debug -printlinenum #-nooptimize #src-after-pp
+OOODEBUG= -ooodebug -printlinenum
+RCRDEBUG= -rcr_debug -printlinenum
+RCRDEBUGV= -rcr_debug_verbose -printlinenum
+BSFLAGS= -64bit -mainclass $(PROGRAM)  -heapsize-mb 8000 -garbagestats -joptimize -noloop -optimize -debug #-nooptimize #src-after-pp
 
 
 DRELEASEMODE=-disjoint-release-mode -disjoint-dvisit-stack-callees-on-top -disjoint-alias-file aliases.txt tabbed