From 090394576bd0f8404fd22cb2b74bb050fdb2faa6 Mon Sep 17 00:00:00 2001 From: Damon Barry Date: Thu, 8 Jun 2017 15:10:40 -0700 Subject: [PATCH] (#297) Don't exit build script if #cores evaluates to zero --- tools/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build.sh b/tools/build.sh index f8077498..8d2709ad 100755 --- a/tools/build.sh +++ b/tools/build.sh @@ -127,7 +127,7 @@ get_cores () if [ "$VSPACE" -lt "$MINVSPACE" ] ; then # We think the number of cores to use is a function of available memory divided by 500 MB - CORES2=$(expr ${MEMAR[0]} / 500000) + CORES2=$(expr ${MEMAR[0]} / 500000) || true # Clamp the cores to use to be between 1 and $CORES (inclusive) CORES2=$([ $CORES2 -le 0 ] && echo 1 || echo $CORES2)