From 1855498166357c84a01021bb1bf90b3699a6c536 Mon Sep 17 00:00:00 2001 From: David Shaw Date: Fri, 2 May 2003 04:33:21 +0000 Subject: * defs.inc: Fix shell warning messages. --- checks/ChangeLog | 4 ++++ 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 + + * defs.inc: Fix shell warning messages. + 2003-05-01 Werner Koch * 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 -- cgit v1.2.3