From 6ab7479a84046ad28af26330a5e77afa5d40fcaa Mon Sep 17 00:00:00 2001 From: jjenista Date: Wed, 4 Mar 2009 20:55:14 +0000 Subject: [PATCH] accidentally checked in makefile line with one option pasted in between another option and its argument --- Robust/src/Benchmarks/mlp/getpot-java/mergeExamples/makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Robust/src/Benchmarks/mlp/getpot-java/mergeExamples/makefile b/Robust/src/Benchmarks/mlp/getpot-java/mergeExamples/makefile index 2334bbc3..63873155 100644 --- 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 -- 2.34.1