diff options
| author |  MichalMoskal <unknown> | 2011-02-18 22:05:15 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-18 22:05:15 +0000 |
| commit | cdc6249dde1ee1153e1831380c3003af0b1cb9bc (patch) | |
| tree | 498a91567643a5c0eb6d03588393b80b99038057 | |
| parent | 6cd02de973f4160bfb5dc22ad0ddaa7b5600eda9 (diff) | |
Don't stop when some test fails
| -rw-r--r-- | Test/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Test/Makefile b/Test/Makefile index 87e27f23..320e7933 100644 --- a/Test/Makefile +++ b/Test/Makefile @@ -4,10 +4,8 @@ NORMAL = $(shell awk '{ if (tolower($$2) ~ /^use$$/) print $$1 }' $(TESTS_FILE)) TESTS = $(NORMAL) all: $(addprefix run-, $(TESTS)) - @echo ALL OK dafny: $(addprefix rundfy-, $(TESTS)) - @echo ALL OK show: @echo $(TESTS) @@ -16,7 +14,7 @@ long: $(MAKE) TESTS="$(NORMAL) $(LONG)" all run-%: - @if ls -f $*/*.dfy >/dev/null 2>&1 ; then true ; else ./runtest.bat $* $(FLAGS) ; fi + @if ls -f $*/*.dfy >/dev/null 2>&1 ; then true ; else ./runtest.bat $* $(FLAGS) ; fi || : rundfy-%: - @if ls -f $*/*.dfy >/dev/null 2>&1 ; then ./runtest.bat $* $(FLAGS) ; fi + @if ls -f $*/*.dfy >/dev/null 2>&1 ; then ./runtest.bat $* $(FLAGS) ; fi || : |