1
0
mirror of git://git.gnupg.org/gnupg.git synced 2025-04-17 15:44:34 +02:00

* defs.inc: Fix shell warning messages.

This commit is contained in:
David Shaw 2003-05-02 04:33:21 +00:00
parent 620afaecb5
commit 1855498166
2 changed files with 6 additions and 2 deletions

View File

@ -1,3 +1,7 @@
2003-05-02 David Shaw <dshaw@jabberwocky.com>
* defs.inc: Fix shell warning messages.
2003-05-01 Werner Koch <wk@gnupg.org> 2003-05-01 Werner Koch <wk@gnupg.org>
* defs.inc (pgmname): Make sure there is a valid options file. * defs.inc (pgmname): Make sure there is a valid options file.

View File

@ -99,9 +99,9 @@ pgmname=`basename $0`
[ -z "$srcdir" ] && fatal "not called from make" [ -z "$srcdir" ] && fatal "not called from make"
# Make sure we have a valid option files even with VPATH builds. # 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 elif [ -f $srcdir/options ]; then
cat $srcdir/options >gpg.conf cat $srcdir/options >gpg.conf