From aabc73631e94ad2ced73cebbae3086f98c83cafa Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Wed, 8 Jan 2020 12:24:01 +0100
Subject: [PATCH] ci: fix wrong shared.sh import for publish_toolstate

---
 src/ci/publish_toolstate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ci/publish_toolstate.sh b/src/ci/publish_toolstate.sh
index fb828477f98b7..7c43d034d8b7f 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.