diff options
-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 |