scripts/crosstool.sh
changeset 805 ae730f907bed
parent 767 fe5e42bf7bbc
child 847 af75fc1fe0fc
     1.1 --- a/scripts/crosstool.sh	Thu Aug 07 15:18:18 2008 +0000
     1.2 +++ b/scripts/crosstool.sh	Mon Aug 25 19:44:39 2008 +0000
     1.3 @@ -331,6 +331,10 @@
     1.4      # Override the configured jobs with what's been given on the command line
     1.5      [ -n "${CT_JOBS}" ] && CT_PARALLEL_JOBS="${CT_JOBS}"
     1.6  
     1.7 +    # Help ./configure scripts go faster
     1.8 +    [ "${CT_CONFIG_SHELL_ASH}" = "y" ] && export CONFIG_SHELL=/bin/ash
     1.9 +    export CONFIG_SHELL
    1.10 +
    1.11      # And help make go faster
    1.12      PARALLELMFLAGS=
    1.13      [ ${CT_PARALLEL_JOBS} -ne 0 ] && PARALLELMFLAGS="${PARALLELMFLAGS} -j${CT_PARALLEL_JOBS}"