trim outputs for benchmarking

[IRC.git] / Robust / src / Benchmarks / Ownership / makefile

diff --git a/Robust/src/Benchmarks/Ownership/makefile b/Robust/src/Benchmarks/Ownership/makefile
index 36de4131d1a15a86e5583a8f96a7fad292e23530..792e4aad39776104de564ee932c58e0134835849 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/makefile
+++ b/Robust/src/Benchmarks/Ownership/makefile
@@ -1,12 +1,16 @@
 BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -recover -ownership -ownaliasfile aliases.txt -enable-assertions #-flatirtasks
+BSFLAGS= -recover -ownership -ownaliasfile aliases.txt #-enable-assertions #-ownwritedots final #-flatirtasks
+AD1= -ownallocdepth 1
 AD3= -ownallocdepth 3
 AD5= -ownallocdepth 5
 AD9= -ownallocdepth 9
 
-all: ad3
+all: ad1
 
 
+ad1:
+       $(BUILDSCRIPT) $(BSFLAGS) $(AD1) *.java
+
 ad3:
        $(BUILDSCRIPT) $(BSFLAGS) $(AD3) *.java