diff options
| author | Tim Rühsen <tim.ruehsen@gmx.de> | 2019-03-28 10:41:13 +0100 |
|---|---|---|
| committer | Tim Rühsen <tim.ruehsen@gmx.de> | 2019-03-28 15:05:50 +0100 |
| commit | 22d31c9f48b2c97c6628e437cd34da43f3496fcf (patch) | |
| tree | 90420929115b4f6eac095ea4cb7ce744418c82fb /devel/check_if_signed | |
| parent | 0949794f4087d965698569ffbcf3f94bd7ba217f (diff) | |
| download | gnutls-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/check_if_signed')
| -rwxr-xr-x | devel/check_if_signed | 6 |
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" |