1.1 --- a/common/autoconf/generated-configure.sh Tue May 28 17:57:40 2013 -0700
1.2 +++ b/common/autoconf/generated-configure.sh Wed May 29 13:58:40 2013 +0200
1.3 @@ -3780,7 +3780,7 @@
1.4 #CUSTOM_AUTOCONF_INCLUDE
1.5
1.6 # Do not change or remove the following line, it is needed for consistency checks:
1.7 -DATE_WHEN_GENERATED=1369723814
1.8 +DATE_WHEN_GENERATED=1369828684
1.9
1.10 ###############################################################################
1.11 #
1.12 @@ -32933,6 +32933,9 @@
1.13 if test "$JOBS" -gt "16"; then
1.14 JOBS=16
1.15 fi
1.16 + if test "$JOBS" -eq "0"; then
1.17 + JOBS=1
1.18 + fi
1.19 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $JOBS" >&5
1.20 $as_echo "$JOBS" >&6; }
1.21 else
