aboutsummaryrefslogtreecommitdiff
path: root/build-aux/ci
diff options
context:
space:
mode:
Diffstat (limited to 'build-aux/ci')
-rwxr-xr-xbuild-aux/ci/ci-build.sh3
-rwxr-xr-xbuild-aux/ci/git-post-receive.sh3
-rw-r--r--build-aux/ci/git-pre-push.sh.in3
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"