From: jjenista <jjenista>
Date: Wed, 11 May 2011 21:11:35 +0000 (+0000)
Subject: show source code line numbers for this target
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=91137d2979984e2330f43bb5ebea47d7cbca4d97;p=IRC.git

show source code line numbers for this target
---

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index d871658b..0e81a39b 100644
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -40,7 +40,7 @@ RCRDEBUGV= -rcr_debug_verbose -printlinenum
 BSFLAGS= -64bit -mainclass $(PROGRAM)  -heapsize-mb 5000 -garbagestats -joptimize -noloop -optimize -nolock -debug #-nooptimize #src-after-pp
 
 
-CHECKPOINTSTO= -disjoint -pointsto-check-v-runtime
+CHECKPOINTSTO= -disjoint -printlinenum -pointsto-check-v-runtime #-disjoint-write-dots final
 
 
 DRELEASEMODE=-disjoint-release-mode -disjoint-dvisit-stack-callees-on-top -disjoint-alias-file aliases.txt tabbed