diff options
Diffstat (limited to 'local/update-02-gpg')
| -rwxr-xr-x | local/update-02-gpg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/local/update-02-gpg b/local/update-02-gpg index b0dc1b1..ffae5cf 100755 --- a/local/update-02-gpg +++ b/local/update-02-gpg @@ -30,7 +30,7 @@ case ${VERIFY_SIGS} in if [[ ${GL_USER} != *@gentoo.org ]]; then echo "*** Pusher address is not @gentoo.org" >&2 echo " (it is ${GL_USER})" >&2 - echo "*** Please report this to infra" >&2 + echo "*** Please report this to infra ($0)" >&2 exit 1 fi |