From 47183f8f4cde96c09db1c1096ad73d8ceef0a120 Mon Sep 17 00:00:00 2001 From: jjenista Date: Tue, 5 Oct 2010 23:13:22 +0000 Subject: [PATCH] updates --- Robust/src/Benchmarks/oooJava/tracking/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Robust/src/Benchmarks/oooJava/tracking/makefile b/Robust/src/Benchmarks/oooJava/tracking/makefile index f511214f..20718bad 100644 --- a/Robust/src/Benchmarks/oooJava/tracking/makefile +++ b/Robust/src/Benchmarks/oooJava/tracking/makefile @@ -22,7 +22,7 @@ USECOREPROF= -coreprof $(COREPROFOVERFLOW) \ USEOOO= -ooojava 24 2 -ooodebug -ooodebug-disable-task-mem-pool -BSFLAGS= -64bit -mainclass $(PROGRAM) -heapsize-mb 1024 -garbagestats -debug -joptimize -noloop -optimize +BSFLAGS= -64bit -mainclass $(PROGRAM) -heapsize-mb 10000 -garbagestats -debug -joptimize -noloop -optimize DRELEASEMODE=-disjoint-release-mode -disjoint-alias-file aliases.txt tabbed DISJOINT= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) #-disjoint-desire-determinism -- 2.34.1