diff options
Diffstat (limited to 'local/require-signed-push')
| -rwxr-xr-x | local/require-signed-push | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/local/require-signed-push b/local/require-signed-push index 447e14a..005f47e 100755 --- a/local/require-signed-push +++ b/local/require-signed-push @@ -6,8 +6,8 @@ VERIFY_SIGS=$(git config --get gentoo.verify-signatures) # ---------------------------------------------------------------------- # standard stuff -silent_die() { exit 1 } -die() { echo "$@" >&2; silent_die } +silent_die() { exit 1; } +die() { echo "$@" >&2; silent_die; } warn() { echo "$@" >&2; } fail_signed_push() { |