diff options
-rwxr-xr-x | run_verify.sh | 3 |
1 files changed, 3 insertions, 0 deletions
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" |