diff options
author | Bjørn Christian Seime <bjorncs@yahoo-inc.com> | 2017-06-15 13:11:44 +0200 |
---|---|---|
committer | Bjørn Christian Seime <bjorncs@yahoo-inc.com> | 2017-06-15 14:02:53 +0200 |
commit | 6a262eaf681d5650447bdd8376c79400c92fe36d (patch) | |
tree | f29d379d8ac83e665d67aea6778471523fd2df15 | |
parent | 93ce6b92792711d917f020eea93c874caefad61d (diff) |
Use tilde to refer to home directory
-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)) |