diff -r 3a36c926a7aa -r 33b6df33a2b7 common/autoconf/generated-configure.sh --- a/common/autoconf/generated-configure.sh Tue May 28 17:57:40 2013 -0700 +++ b/common/autoconf/generated-configure.sh Wed May 29 13:58:40 2013 +0200 @@ -3780,7 +3780,7 @@ #CUSTOM_AUTOCONF_INCLUDE # Do not change or remove the following line, it is needed for consistency checks: -DATE_WHEN_GENERATED=1369723814 +DATE_WHEN_GENERATED=1369828684 ############################################################################### # @@ -32933,6 +32933,9 @@ if test "$JOBS" -gt "16"; then JOBS=16 fi + if test "$JOBS" -eq "0"; then + JOBS=1 + fi { $as_echo "$as_me:${as_lineno-$LINENO}: result: $JOBS" >&5 $as_echo "$JOBS" >&6; } else