diff options
Diffstat (limited to 'ci/travis.sh')
| -rwxr-xr-x | ci/travis.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/travis.sh b/ci/travis.sh index 24a557e9..2dda68fd 100755 --- a/ci/travis.sh +++ b/ci/travis.sh @@ -1,6 +1,8 @@ #!/usr/bin/env sh set -evx +. ci/get-nprocessors.sh + # if possible, ask for the precise number of processors, # otherwise take 2 processors as reasonable default; see # https://docs.travis-ci.com/user/speeding-up-the-build/#Makefile-optimization |