diff options
Diffstat (limited to 'build-aux/ci/git-post-receive.sh')
| -rwxr-xr-x | build-aux/ci/git-post-receive.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build-aux/ci/git-post-receive.sh b/build-aux/ci/git-post-receive.sh index c78f1ac..2f6e3c0 100755 --- a/build-aux/ci/git-post-receive.sh +++ b/build-aux/ci/git-post-receive.sh @@ -1,4 +1,5 @@ -#!/bin/sh -eu +#!/bin/sh +set -eu for n in $(seq 0 $((GIT_PUSH_OPTION_COUNT - 1))); do opt="$(eval "echo \$GIT_PUSH_OPTION_$n")" |