Make sure that platformtest.sh aborts when autogen.sh fails

diff --git a/contrib/platformtest.sh b/contrib/platformtest.sh
index 7f7e6b476bf7d13771d28fe528e12a4a77c516cb..e054d06f05d47a5c4059eec5e66180d7a3ff2f98 100755 (executable)
--- a/contrib/platformtest.sh
+++ b/contrib/platformtest.sh
@@ -98,6 +98,10 @@ if [ ! -r "$SRC_D/configure" ]; then
        else
                ./autogen.sh >/dev/null
        fi
+       if [ $? -ne 0 ]; then
+               echo "$NAME: \"$SRC_D/autogen.sh\" script failed, aborting!"
+               exit 1
+       fi
        cd "$MY_D" || exit 1
 fi