diff options
author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2017-06-22 11:59:56 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-22 11:59:56 +0200 |
commit | c580efeffd7dbe408500bde71bae9c078b03e6f2 (patch) | |
tree | 69b6e31cb8db723c00e7bbf182d5666c4f9bce5d /docker | |
parent | 2bdb7cb1adb0c4ece0c83604cbdd763795aa55f8 (diff) | |
parent | 81d47dd65dd82309e66f35e97d125ab1e45bfb49 (diff) |
Merge pull request #2858 from yahoo/gjoranv/bash_source
Use BASH_SOURCE instead of readlink.
Diffstat (limited to 'docker')
-rwxr-xr-x | docker/vespa-ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docker/vespa-ci.sh b/docker/vespa-ci.sh index 843f36eea34..2773a04b850 100755 --- a/docker/vespa-ci.sh +++ b/docker/vespa-ci.sh @@ -8,7 +8,8 @@ if [ $# -ne 1 ]; then exit 1 fi -DIR=$(dirname $(readlink -f $0)) +RELATIVE_DIR=$(dirname "${BASH_SOURCE[0]}") +DIR=$(cd "${RELATIVE_DIR}" && pwd) cd $DIR GIT_COMMIT=$1 |