Report when configure could not generate a Makefile

This commit is contained in:
Pierre Pronchery 2017-04-30 03:33:08 +02:00
parent 28b9c0f21a
commit 82af4e72dd

View File

@ -51,10 +51,13 @@ _test()
echo echo
echo "Testing: $system $subdir" echo "Testing: $system $subdir"
$CONFIGURE -O "$system" -- "$subdir" 2>&1 || return 2 $CONFIGURE -O "$system" -- "$subdir" 2>&1
$DIFF -- "$subdir/Makefile.$system" "$subdir/Makefile" 2>&1
res=$? 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 if [ $res -ne 0 ]; then
echo "$system $subdir: Failed with error code $res" echo "$system $subdir: Failed with error code $res"
echo "$system $subdir: FAIL" 1>&2 echo "$system $subdir: FAIL" 1>&2