aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--checks/ChangeLog4
-rwxr-xr-xchecks/defs.inc4
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