diff options
Diffstat (limited to 'docker')
| -rwxr-xr-x | docker/vespa-ci-internal.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docker/vespa-ci-internal.sh b/docker/vespa-ci-internal.sh index 90dffb45d70..cd3690e3186 100755 --- a/docker/vespa-ci-internal.sh +++ b/docker/vespa-ci-internal.sh @@ -10,8 +10,8 @@ if [ $# -ne 1 ]; then fi GIT_COMMIT=$1 -SOURCE_DIR=/home/vespabuilder/vespa -BUILD_DIR=/home/vespabuilder/build +SOURCE_DIR=~/vespa +BUILD_DIR=~/build NUM_CORES=$(nproc --all) NUM_THREADS=$((${NUM_CORES} + ${NUM_CORES}/2)) |