summaryrefslogtreecommitdiff
path: root/devel
diff options
context:
space:
mode:
authorTim Rühsen <tim.ruehsen@gmx.de>2019-03-28 10:41:13 +0100
committerTim Rühsen <tim.ruehsen@gmx.de>2019-03-28 15:05:50 +0100
commit22d31c9f48b2c97c6628e437cd34da43f3496fcf (patch)
tree90420929115b4f6eac095ea4cb7ce744418c82fb /devel
parent0949794f4087d965698569ffbcf3f94bd7ba217f (diff)
downloadgnutls-22d31c9f48b2c97c6628e437cd34da43f3496fcf.tar.gz
Let check_if_signed fail if git failstmp-fail-sigcheck
Signed-off-by: Tim Rühsen <tim.ruehsen@gmx.de>
Diffstat (limited to 'devel')
-rwxr-xr-xdevel/check_if_signed6
1 files changed, 4 insertions, 2 deletions
diff --git a/devel/check_if_signed b/devel/check_if_signed
index b8b4fef112..3d05d4fcbb 100755
--- a/devel/check_if_signed
+++ b/devel/check_if_signed
@@ -1,7 +1,9 @@
-#!/usr/bin/env sh
+#!/usr/bin/env bash
+
+set -e
if test -z "$CI_MERGE_REQUEST_TARGET_BRANCH_NAME"; then
- CI_MERGE_REQUEST_TARGET_BRANCH_NAME="master"
+ CI_MERGE_REQUEST_TARGET_BRANCH_NAME="origin/master"
fi
echo "target=$CI_MERGE_REQUEST_TARGET_BRANCH_NAME"