accidentally checked in makefile line with one option pasted in between another optio...

diff --git a/Robust/src/Benchmarks/mlp/getpot-java/mergeExamples/makefile b/Robust/src/Benchmarks/mlp/getpot-java/mergeExamples/makefile
index 2334bbc300b8ce357c08fbe0372fecc9b14f3247..63873155fbb4a375775139c3bafac22a2c5593d2 100644 (file)
--- a/Robust/src/Benchmarks/mlp/getpot-java/mergeExamples/makefile
+++ b/Robust/src/Benchmarks/mlp/getpot-java/mergeExamples/makefile
@@ -4,7 +4,7 @@ PROGRAM=test
 SOURCE_FILES=*.java
 
 BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -debug -mainclass $(MAIN_CLASS) -justanalyze -ownership -ownallocdepth 1 -ownwritedots -ownaliasfile aliases.txt final -enable-assertions
+BSFLAGS= -debug -mainclass $(MAIN_CLASS) -justanalyze -ownership -ownallocdepth 1 -ownwritedots final -ownaliasfile aliases.txt -enable-assertions
 
 all: $(PROGRAM).bin