From 82af4e72ddabe330f51437d1eee165f4e63bbd47 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Sun, 30 Apr 2017 03:33:08 +0200 Subject: [PATCH] Report when configure could not generate a Makefile --- tests/tests.sh | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/tests/tests.sh b/tests/tests.sh index 0104ad0..0b7c2d7 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -51,10 +51,13 @@ _test() echo echo "Testing: $system $subdir" - $CONFIGURE -O "$system" -- "$subdir" 2>&1 || return 2 - $DIFF -- "$subdir/Makefile.$system" "$subdir/Makefile" 2>&1 + $CONFIGURE -O "$system" -- "$subdir" 2>&1 res=$? - $RM -- "$subdir/Makefile" + if [ $res -eq 0 ]; then + $DIFF -- "$subdir/Makefile.$system" "$subdir/Makefile" 2>&1 + res=$? + $RM -- "$subdir/Makefile" + fi if [ $res -ne 0 ]; then echo "$system $subdir: Failed with error code $res" echo "$system $subdir: FAIL" 1>&2