diff -r 150402ee5468 -r c800b7d6a50c scripts/build/cc/gcc.sh --- a/scripts/build/cc/gcc.sh Sun May 06 15:32:56 2012 +0200 +++ b/scripts/build/cc/gcc.sh Wed May 09 18:17:17 2012 +0200 @@ -801,7 +801,7 @@ if [ "${build_manuals}" = "yes" ]; then CT_DoLog EXTRA "Building the GCC manuals" - CT_DoExecLog ALL make ${JOBSFLAGS} pdf html + CT_DoExecLog ALL make pdf html CT_DoLog EXTRA "Installing the GCC manuals" CT_DoExecLog ALL make install-{pdf,html}-gcc fi