(trunk) #3939 "autogen.sh doesn't work correctly on systems where /bin/sh doesn't point to bash" -- fixed with patch from er13

This bug was introduced a couple of days ago in the fix to #3901 "Confusing error message when libtool is missing." The fix introduced a bashism, which should be avoided if we want to work with strict sh.

autogen.sh

@@ -24,10 +24,7 @@ export LIBTOOLIZE
 
 ./update-version-h.sh
 
-autoreconf -fi
-if [[ $? -ne 0 ]]; then
-  exit 1
-fi
+autoreconf -fi || exit 1;
 
 
 if test "$GETTEXTIZE"; then