Changeset 588 for CMT/HEAD/src/setup.sh

Timestamp:

Nov 27, 2011, 4:36:15 PM (13 years ago)

Author:

rybkin

Message:

See C.L. 465

File:

• CMT/HEAD/src/setup.sh (modified) (2 diffs)

CMT/HEAD/src/setup.sh

@@ -11 +11 @@
 fi
 
-if [ `expr $- : '.*i'` -ne 0 ]; then
+if [ -n "$-" ] && [ "${-#*i}" != "$-" ]; then
 if [ -n "${ZSH_NAME-}" ]; then
   . ${CMTROOT}/src/setup.zsh
@@ -47 +47 @@
 
 alias jcmt='(java cmt_parser)'; export jcmt
+
+# Set MAKEFLAGS, if unset (similar to NPROC with Plan 9 mk utility)
+if [ -z ${MAKEFLAGS+CMT} ]; then
+  MAKEFLAGS=-j`getconf _NPROCESSORS_ONLN 2>/dev/null` && export MAKEFLAGS || unset MAKEFLAGS
+  if [ -n "${MAKEFLAGS:-}" ]; then
+    MAKEFLAGS="${MAKEFLAGS} QUICK=1"
+  else
+    MAKEFLAGS="QUICK=1"
+  fi
+  export MAKEFLAGS
+fi