ci: fix wrong shared.sh import for publish_toolstate

This commit is contained in:
Pietro Albini 2020-01-08 12:24:01 +01:00
parent f48e576756
commit aabc73631e
No known key found for this signature in database
GPG Key ID: 3E06ABE80BAAF19C

View File

@ -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.