scripts/crosstool.sh
changeset 334 49b354cfd34d
parent 331 0c05f9ea3254
child 335 f0d84f1d4c93
     1.1 --- a/scripts/crosstool.sh	Wed Aug 15 10:14:43 2007 +0000
     1.2 +++ b/scripts/crosstool.sh	Wed Aug 15 15:39:44 2007 +0000
     1.3 @@ -319,6 +319,9 @@
     1.4      CT_CFLAGS_FOR_HOST=
     1.5      [ "${CT_USE_PIPES}" = "y" ] && CT_CFLAGS_FOR_HOST="${CT_CFLAGS_FOR_HOST} -pipe"
     1.6  
     1.7 +    # Override the configured jobs with what's been given on the command line
     1.8 +    [ -n "${CT_JOBS}" ] && CT_PARALLEL_JOBS="${CT_JOBS}"
     1.9 +
    1.10      # And help make go faster
    1.11      PARALLELMFLAGS=
    1.12      [ ${CT_PARALLEL_JOBS} -ne 0 ] && PARALLELMFLAGS="${PARALLELMFLAGS} -j${CT_PARALLEL_JOBS}"