security-and-privacy/gnupg
security-and-privacy/gnupg
1
0
Fork 0
mirror of git://git.gnupg.org/gnupg.git synced 2025-07-02 22:46:30 +02:00
Code Activity

Preparing for an RC23

Browse source
This commit is contained in:
Werner Koch 2006-03-09 12:45:02 +00:00
parent 0317ae66f3
commit cf10c31a3f
6 changed files with 29 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

10
checks/defs.inc
View file

@ -41,14 +41,14 @@ defs_error_seen=no
fatal () {
echo "$pgmname: fatal:" $* >&2
[ -n "${BASH_VERSION+set}" ] && echo "$pgmname: fatal:" $* >&5
echo "$pgmname: fatal:" $* >&5
exit 1;
}
error () {
echo "$pgmname:" $* >&2
defs_error_seen=yes
[ -n "${BASH_VERSION+set}" ] && echo "$pgmname:" $* >&5
echo "$pgmname:" $* >&5
if [ x$defs_stop_on_error != xyes ]; then
exit 1
fi
@ -71,7 +71,7 @@ resume_error () {
info () {
echo "$pgmname:" $* >&2
if [ -n "${verbose+set}" ]; then
[ -n "${BASH_VERSION+set}" ] && echo "$pgmname:" $* >&5
echo "$pgmname:" $* >&5
fi
}
@ -156,9 +156,7 @@ fi
GPG="../g10/gpg --no-permission-warning --homedir . "
[ -n "${BASH_VERSION+set}" ] && exec 5>/dev/stderr
exec 2> ${pgmname}.log
exec 5>&2 2>${pgmname}.log
:
# end