diff options
Diffstat (limited to 'build-aux/ci')
-rwxr-xr-x | build-aux/ci/ci-build.sh | 3 | ||||
-rwxr-xr-x | build-aux/ci/git-post-receive.sh | 3 | ||||
-rw-r--r-- | build-aux/ci/git-pre-push.sh.in | 3 |
3 files changed, 6 insertions, 3 deletions
diff --git a/build-aux/ci/ci-build.sh b/build-aux/ci/ci-build.sh index 62e0f22..93c9ee1 100755 --- a/build-aux/ci/ci-build.sh +++ b/build-aux/ci/ci-build.sh @@ -1,4 +1,5 @@ -#!/bin/sh -eux +#!/bin/sh +set -eux PACKAGE="$1" LOGS_DIR="$2" 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")" diff --git a/build-aux/ci/git-pre-push.sh.in b/build-aux/ci/git-pre-push.sh.in index 37e777c..16428d6 100644 --- a/build-aux/ci/git-pre-push.sh.in +++ b/build-aux/ci/git-pre-push.sh.in @@ -1,4 +1,5 @@ -#!/bin/sh -eux +#!/bin/sh +set -eux PACKAGE="$(basename "$PWD")" LOGS_DIR="/data/ci/$PACKAGE/logs" |