Merge pull request diffblue#1605 from romainbrenguier/bugfix/failed-t…

…ests-printer-removed Use -p option of test.pl instead of printer script
smowton · Nov 24, 2017 · 79defb5 · 79defb5
2 parents 1821b1a + a6af95d
commit 79defb5
Showing 1 changed file with 4 additions and 16 deletions.
diff --git a/regression/jbmc-strings/Makefile b/regression/jbmc-strings/Makefile
@@ -1,28 +1,16 @@
 default: tests.log
 
 test:
-	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
-		../failed-tests-printer.pl ; \
-		exit 1 ; \
-	fi
+	@../test.pl -p -c ../../../src/jbmc/jbmc
 
 testfuture:
-	@if ! ../test.pl -c ../../../src/jbmc/jbmc -CF ; then \
-		../failed-tests-printer.pl ; \
-		exit 1 ; \
-	fi
+	@../test.pl -p -c ../../../src/jbmc/jbmc -CF
 
 testall:
-	@if ! ../test.pl -c ../../../src/jbmc/jbmc -CFTK ; then \
-		../failed-tests-printer.pl ; \
-		exit 1 ; \
-	fi
+	@../test.pl -p -c ../../../src/jbmc/jbmc -CFTK
 
 tests.log: ../test.pl
-	@if ! ../test.pl -c ../../../src/jbmc/jbmc ; then \
-		../failed-tests-printer.pl ; \
-		exit 1 ; \
-	fi
+	@../test.pl -p -c ../../../src/jbmc/jbmc
 
 show:
 	@for dir in *; do \