diff --git a/src/build.sh b/src/build.sh index cd87cb7d5..b0628d4bb 100755 --- a/src/build.sh +++ b/src/build.sh @@ -56,15 +56,18 @@ else fi export LD_LIBRARY_PATH -if [ "x${GERBIL_BUILD_FLAGS:-}" != "x" ];then +if [ "x${GERBIL_BUILD_FLAGS:-}" != "x" ]; then num_cores=$(build_flags_cores "${GERBIL_BUILD_FLAGS}") if [ "x${num_cores:-}" != "x" ]; then - echo "using ${num_cores} cores for the build" GERBIL_BUILD_CORES=${num_cores} export GERBIL_BUILD_CORES fi fi +if [ "x${GERBIL_BUILD_CORES:-}" != "x" ]; then + echo "using ${GERBIL_BUILD_CORES} cores for the build" +fi + #=============================================================================== ## feedback feedback_err() {