diff options
| -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. |