diff options
Diffstat (limited to 'checks')
| -rwxr-xr-x | checks/defs.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/checks/defs.inc b/checks/defs.inc index f3ff66f18..49cbcf292 100755 --- a/checks/defs.inc +++ b/checks/defs.inc @@ -61,10 +61,10 @@ chdir () { set -e -pgmname=$(basename $0) +pgmname=`basename $0` #trap cleanup SIGHUP SIGINT SIGQUIT -[ -z $srcdir ] && fatal "not called from make" +[ -z "$srcdir" ] && fatal "not called from make" cat <<EOF >./options no-greeting |