diff options
| -rw-r--r-- | scripts/build/cc/gcc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/cc/gcc.sh b/scripts/build/cc/gcc.sh index d9930e2a..3ad97d07 100644 --- a/scripts/build/cc/gcc.sh +++ b/scripts/build/cc/gcc.sh @@ -801,7 +801,7 @@ do_cc_backend() { 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 |