diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2020-01-08 12:24:01 +0100 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2020-01-08 12:24:01 +0100 |
| commit | aabc73631e94ad2ced73cebbae3086f98c83cafa (patch) | |
| tree | a5f30a59837bdf19734425352906deab40fdb417 | |
| parent | f48e576756cd0c360e5522974fc8d5867b439092 (diff) | |
| download | rust-aabc73631e94ad2ced73cebbae3086f98c83cafa.tar.gz rust-aabc73631e94ad2ced73cebbae3086f98c83cafa.zip | |
ci: fix wrong shared.sh import for publish_toolstate
| -rwxr-xr-x | src/ci/publish_toolstate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/publish_toolstate.sh b/src/ci/publish_toolstate.sh index fb828477f98..7c43d034d8b 100755 --- a/src/ci/publish_toolstate.sh +++ b/src/ci/publish_toolstate.sh @@ -3,7 +3,7 @@ set -euo pipefail IFS=$'\n\t' -source "$(cd "$(dirname "$0")" && pwd)/../shared.sh" +source "$(cd "$(dirname "$0")" && pwd)/shared.sh" # The following lines are also found in src/bootstrap/toolstate.rs, # so if updating here, please also update that file. |