diff options
Diffstat (limited to 'scripts/pvscheck.sh')
-rwxr-xr-x | scripts/pvscheck.sh | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/scripts/pvscheck.sh b/scripts/pvscheck.sh index b3ca2c0fb8..575648c688 100755 --- a/scripts/pvscheck.sh +++ b/scripts/pvscheck.sh @@ -9,9 +9,12 @@ set -e test -z "$POSH_VERSION" && set -u echo_jobs_num() { - [ -n "$TRAVIS_CI_BUILD" ] \ - && echo 1 \ - || echo $(( $(grep -c "^processor" /proc/cpuinfo) + 1 )) + if [ -n "${TRAVIS:-}" ] ; then + # HACK: /proc/cpuinfo on Travis CI is misleading, so hardcode 1. + echo 1 + else + echo $(( $(grep -c "^processor" /proc/cpuinfo) + 1 )) + fi } help() { |