diff options
author | David Shaw <dshaw@jabberwocky.com> | 2002-06-29 15:31:13 +0200 |
---|---|---|
committer | David Shaw <dshaw@jabberwocky.com> | 2002-06-29 15:31:13 +0200 |
commit | 151ee2f47bfdaa1273cdfd4855e937fb8f2e1d06 (patch) | |
tree | de5bf8049ec1b28b2948ba85542c0a269084a696 /checks/defs.inc | |
parent | Removed files for CVS reorganization (diff) | |
download | gnupg2-151ee2f47bfdaa1273cdfd4855e937fb8f2e1d06.tar.xz gnupg2-151ee2f47bfdaa1273cdfd4855e937fb8f2e1d06.zip |
Update head to match stable 1.0
Diffstat (limited to 'checks/defs.inc')
-rwxr-xr-x | checks/defs.inc | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/checks/defs.inc b/checks/defs.inc index c975025da..2eb25c7f1 100755 --- a/checks/defs.inc +++ b/checks/defs.inc @@ -49,9 +49,6 @@ info () { echo "$pgmname:" $* >&2 } -chdir () { - cd $1 || fatal "cannot cd to $1" -} echo_n_init=no echo_n () { @@ -101,11 +98,9 @@ pgmname=`basename $0` [ -z "$srcdir" ] && fatal "not called from make" -cat <<EOF >./options -no-greeting -no-secmem-warning -load-extension ../cipher/tiger -batch -emulate-md-encode-bug -EOF +GPG="../g10/gpg --homedir . " + +exec 2> ${pgmname}.log +: +# end
\ No newline at end of file |