1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-06-17 00:39:50 +02:00

* defs.inc (pgmname): Make sure there is a valid options file.

This commit is contained in:
Werner Koch 2003-05-01 14:26:24 +00:00
parent 3a299b40f0
commit 171bbcc290
3 changed files with 14 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2003-05-01 Werner Koch <wk@gnupg.org>
* defs.inc (pgmname): Make sure there is a valid options file.
2003-04-23 David Shaw <dshaw@jabberwocky.com>
* Makefile.am, options.in: Rename options.in to options since it

View File

@ -43,7 +43,7 @@ EXTRA_DIST = defs.inc $(TESTS) $(TEST_FILES) \
mkdemodirs signdemokey
CLEANFILES = prepared.stamp x y yy z out err $(DATA_FILES) \
plain-1 plain-2 plain-3 trustdb.gpg *.lock .\#lk* \
*.test.log gpg_dearmor \
*.test.log gpg_dearmor gpg.conf \
pubring.gpg secring.gpg pubring.pkr secring.skr
DISTCLEANFILES = pubring.gpg~ random_seed

View File

@ -98,6 +98,15 @@ 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
:
elif [ -f ./gpg.conf]; then
:
elif [ -f $srcdir/options ]; then
cat $srcdir/options >gpg.conf
fi
GPG="../g10/gpg --homedir . "
exec 2> ${pgmname}.log