diff options
Diffstat (limited to 'checks')
| -rw-r--r-- | checks/Makefile.am | 4 | ||||
| -rwxr-xr-x | checks/defs.inc | 3 |
2 files changed, 4 insertions, 3 deletions
diff --git a/checks/Makefile.am b/checks/Makefile.am index eb83ec4fe..38b163fcf 100644 --- a/checks/Makefile.am +++ b/checks/Makefile.am @@ -64,5 +64,7 @@ data-32000: data-80000: ../tools/mk-tdata 80000 >data-80000 plain-large: - cat ../doc/HACKING ../doc/DETAILS ../doc/FAQ >plain-large + cat $(srcdir)/../doc/HACKING \ + $(srcdir)/../doc/DETAILS \ + $(srcdir)/../doc/FAQ >plain-large diff --git a/checks/defs.inc b/checks/defs.inc index f8bc3147e..840fc69d2 100755 --- a/checks/defs.inc +++ b/checks/defs.inc @@ -74,12 +74,11 @@ pgmname=`basename $0` [ -z "$srcdir" ] && fatal "not called from make" -# Note don't use lock-once here because we call gpg in a pipe cat <<EOF >./options no-greeting no-secmem-warning load-extension ../cipher/tiger +load-extension ../cipher/rndlinux batch -lock-once EOF |