summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-08-15 14:59:37 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2007-08-15 14:59:37 (GMT)
commit54cca9f2ba0065fe34013bf712c181601a53c912 (patch)
tree0a95b5283796127fd97bcbca1b475e8d6e592916 /scripts
parent46e19208cd3a3f8634efa497ad49c25db8df9b5a (diff)
Add the possibility to force the number of // jobs without reconfiguring.
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/crosstool.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/crosstool.sh b/scripts/crosstool.sh
index 60ffbea..5802266 100755
--- a/scripts/crosstool.sh
+++ b/scripts/crosstool.sh
@@ -319,6 +319,9 @@ if [ -z "${CT_RESTART}" ]; then
CT_CFLAGS_FOR_HOST=
[ "${CT_USE_PIPES}" = "y" ] && CT_CFLAGS_FOR_HOST="${CT_CFLAGS_FOR_HOST} -pipe"
+ # Override the configured jobs with what's been given on the command line
+ [ -n "${CT_JOBS}" ] && CT_PARALLEL_JOBS="${CT_JOBS}"
+
# And help make go faster
PARALLELMFLAGS=
[ ${CT_PARALLEL_JOBS} -ne 0 ] && PARALLELMFLAGS="${PARALLELMFLAGS} -j${CT_PARALLEL_JOBS}"