1.1 --- a/scripts/build/cc/gcc.sh	Sun Jul 17 22:43:07 2011 +0200
     1.2 +++ b/scripts/build/cc/gcc.sh	Mon Feb 13 22:18:02 2012 +0100
     1.3 @@ -446,7 +446,7 @@
     1.4      CT_DoLog EXTRA "Installing ${mode} core C compiler"
     1.5      CT_DoExecLog ALL make ${JOBSFLAGS} "${core_targets[@]/#/install-}"
     1.6  
     1.7 -    if [ "${CT_BUILD_MANUALS}" = "y" -a "${build_manuals}" = "yes" ]; then
     1.8 +    if [ "${build_manuals}" = "yes" ]; then
     1.9          CT_DoLog EXTRA "Building the GCC manuals"
    1.10          CT_DoExecLog ALL make pdf html
    1.11          CT_DoLog EXTRA "Installing the GCC manuals"
    1.12 @@ -488,6 +488,9 @@
    1.13      final_opts+=( "prefix=${CT_PREFIX_DIR}" )
    1.14      final_opts+=( "complibs=${CT_COMPLIBS_DIR}" )
    1.15      final_opts+=( "cflags=${CT_CFLAGS_FOR_HOST}" )
    1.16 +    if [ "${CT_BUILD_MANUALS}" = "y" ]; then
    1.17 +        final_opts+=( "build_manuals=yes" )
    1.18 +    fi
    1.19      if [ "${CT_BARE_METAL}" = "y" ]; then
    1.20          final_opts+=( "mode=baremetal" )
    1.21          final_opts+=( "build_libgcc=yes" )
    1.22 @@ -495,7 +498,6 @@
    1.23          if [ "${CT_STATIC_TOOLCHAIN}" = "y" ]; then
    1.24              final_opts+=( "build_staticlinked=yes" )
    1.25          fi
    1.26 -        final_opts+=( "build_manuals=yes" )
    1.27          final_backend=do_cc_core_backend
    1.28      else
    1.29          final_backend=do_cc_backend
    1.30 @@ -513,11 +515,13 @@
    1.31  #   prefix        : the runtime prefix                  : dir       : (none)
    1.32  #   complibs      : the companion libraries prefix      : dir       : (none)
    1.33  #   cflags        : the host CFLAGS                     : string    : (empty)
    1.34 +#   build_manuals : whether to build manuals or not     : bool      : no
    1.35  do_cc_backend() {
    1.36      local host
    1.37      local prefix
    1.38      local complibs
    1.39      local cflags
    1.40 +    local build_manuals
    1.41      local -a host_libstdcxx_flags
    1.42      local -a extra_config
    1.43      local -a final_LDFLAGS
    1.44 @@ -762,7 +766,7 @@
    1.45      CT_DoLog EXTRA "Installing final compiler"
    1.46      CT_DoExecLog ALL make ${JOBSFLAGS} install
    1.47  
    1.48 -    if [ "${CT_BUILD_MANUALS}" = "y" ]; then
    1.49 +    if [ "${build_manuals}" = "yes" ]; then
    1.50          CT_DoLog EXTRA "Building the GCC manuals"
    1.51          CT_DoExecLog ALL make ${JOBSFLAGS} pdf html
    1.52          CT_DoLog EXTRA "Installing the GCC manuals"