diff --git a/run_verify.sh b/run_verify.sh index 0a9d2f31..600d6b2c 100755 --- a/run_verify.sh +++ b/run_verify.sh @@ -14,6 +14,9 @@ # later examination if desired. SRCDIR=$(dirname $0) +if [ -z "$SRCDIR" ]; then + SRCDIR=$(pwd) +fi if [ -n "$1" -a -d "$1" ]; then TMPDIR="$1"