diff -r 2dfea349d307 -r 56e4a47dcf88 scripts/build/cc/gcc.sh --- a/scripts/build/cc/gcc.sh Tue Jan 03 22:57:25 2012 +0100 +++ b/scripts/build/cc/gcc.sh Wed May 09 18:17:17 2012 +0200 @@ -792,7 +792,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