diff options
Diffstat (limited to '')
| -rw-r--r-- | build-aux/ci/git-pre-push.sh.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build-aux/ci/git-pre-push.sh.in b/build-aux/ci/git-pre-push.sh.in index 37e777ca..16428d6e 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" |