From a6af95d6ac04d2c15b347a7bd20eaba3284148eb Mon Sep 17 00:00:00 2001 From: Romain Brenguier Date: Tue, 21 Nov 2017 09:48:48 +0000 Subject: [PATCH] Use -p option of test.pl instead of printer script This script was removed, so mentions of it in Makefiles need to be replaced by usage of -p option of test.pl. --- regression/jbmc-strings/Makefile | 20 ++++---------------- 1 file changed, 4 insertions(+), 16 deletions(-) diff --git a/regression/jbmc-strings/Makefile b/regression/jbmc-strings/Makefile index e45465e6130..58058dbc77a 100644 --- 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 \