commit 8f2ab4522908df982b89382e57c001f6869ccad6
parent 987742373645d4d4de20059066ef1855478753e7
Author: George Kadianakis <desnacked@riseup.net>
Date: Mon, 16 Sep 2019 19:45:20 +0300
Merge branch 'tor-github/pr/1313'
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/scripts/maint/checkShellScripts.sh b/scripts/maint/checkShellScripts.sh
@@ -21,7 +21,7 @@ if command -v realpath ; then
HERE=$(dirname "$(realpath "$0")")
else
HERE=$(dirname "$0")
- if [ ! -d "$HERE" ]; then
+ if [ ! -d "$HERE" ] || [ "$HERE" = "." ]; then
HERE=$(dirname "$PWD/$0")
fi
fi
@@ -31,6 +31,7 @@ TOPLEVEL=$(dirname "$(dirname "$HERE")")
if [ ! -d "$TOPLEVEL/src" ]; then
printf "Error: Couldn't find src directory in expected location: %s\\n" \
"$TOPLEVEL/src"
+ exit 1
fi
# Check *.sh scripts, but ignore the ones that we can't fix