diff options
author | David Shaw <[email protected]> | 2003-05-02 04:33:21 +0000 |
---|---|---|
committer | David Shaw <[email protected]> | 2003-05-02 04:33:21 +0000 |
commit | 1855498166357c84a01021bb1bf90b3699a6c536 (patch) | |
tree | 410024034e0861d37327446cdb9ede087d662d6d | |
parent | * packet.h, build-packet.c (build_sig_subpkt), export.c (diff) | |
download | gnupg-1855498166357c84a01021bb1bf90b3699a6c536.tar.gz gnupg-1855498166357c84a01021bb1bf90b3699a6c536.zip |
* defs.inc: Fix shell warning messages.
-rw-r--r-- | checks/ChangeLog | 4 | ||||
-rwxr-xr-x | checks/defs.inc | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/checks/ChangeLog b/checks/ChangeLog index fd80546cb..6ddd3644f 100644 --- a/checks/ChangeLog +++ b/checks/ChangeLog @@ -1,3 +1,7 @@ +2003-05-02 David Shaw <[email protected]> + + * defs.inc: Fix shell warning messages. + 2003-05-01 Werner Koch <[email protected]> * defs.inc (pgmname): Make sure there is a valid options file. diff --git a/checks/defs.inc b/checks/defs.inc index 8cfeb6da5..d1a1831ce 100755 --- a/checks/defs.inc +++ b/checks/defs.inc @@ -99,9 +99,9 @@ pgmname=`basename $0` [ -z "$srcdir" ] && fatal "not called from make" # Make sure we have a valid option files even with VPATH builds. -if [ -f ./options]; then +if [ -f ./options ]; then : -elif [ -f ./gpg.conf]; then +elif [ -f ./gpg.conf ]; then : elif [ -f $srcdir/options ]; then cat $srcdir/options >gpg.conf |