diff --git a/scripts/verify-repo-update/verify-repos.sh b/scripts/verify-repo-update/verify-repos.sh index f315d34800c..d4196b0e803 100755 --- a/scripts/verify-repo-update/verify-repos.sh +++ b/scripts/verify-repo-update/verify-repos.sh @@ -1,8 +1,8 @@ #!/usr/bin/env bash -set -eo pipefail +set -o pipefail _basedir=$(dirname "$0") -cd "$_basedir" +cd "$_basedir" || exit docker_build () { dockerfile=$1