Bootstrapped

diff --git a/configure b/configure
index 67df683f00e547a697fa1d835fc9f61b9698a637..cc58a283d50cbf762c1152ddcd51c5d5a8438959 100755 (executable)
--- a/configure
+++ b/configure
@@ -21633,7 +21633,7 @@ if test "$GCC" = "yes"; then
        if test $GCCVER2 -lt 300 ; then
            echo "ERROR: GCC $GCCVER causes a coredump on $host"
            echo "ERROR: Try a more recent GCC version"
-           exit 1
+           sleep 5
        fi
        ;;
     esac