X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FoooJava%2Fmaster-makefile;h=30f711a0486cd5adc3ab3a47bcfd8b490825505c;hb=7b583345fb915906e6b6d04f47067b79b2e24f91;hp=c9f74277b1ffdc74bafffbd1edc4669491ec182e;hpb=6280d3ed9b069094c8566c1f69f0e4b36239eb23;p=IRC.git

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index c9f74277..30f711a0 100644
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -128,10 +128,10 @@ $(PROGRAM)c.bin: $(SOURCE_FILES) ../master-makefile
 
 
 disjoint: $(SOURCE_FILES) ../master-makefile
-	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze $(SOURCE_FILES)
+	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze -count-visits $(SOURCE_FILES)
 
 disjoint-defreach: $(SOURCE_FILES) ../master-makefile
-	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze -do-definite-reach-analysis $(SOURCE_FILES)
+	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze -count-visits -do-definite-reach-analysis $(SOURCE_FILES)
 
 ooo-defreach: $(SOURCE_FILES) ../master-makefile
 	$(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(USEOOO) $(DISJOINTDEBUG) -do-definite-reach-analysis -o $(PROGRAM)d -builddir def  $(SOURCE_FILES)