diff options
| author | Michael Adam <obnox@samba.org> | 2020-03-21 01:32:46 +0100 |
|---|---|---|
| committer | Michael Adam <obnox@samba.org> | 2020-03-21 01:46:28 +0100 |
| commit | 7e9356880a29de75ec04a1467d3a887a234e6e6b (patch) | |
| tree | 0d1549b8ac6cc6157761c7ed7061f14bc03bf203 | |
| parent | 7b828eaeb292df0d8091576bef834024df73a683 (diff) | |
| download | samba-integration-7e9356880a29de75ec04a1467d3a887a234e6e6b.tar.gz samba-integration-7e9356880a29de75ec04a1467d3a887a234e6e6b.tar.xz samba-integration-7e9356880a29de75ec04a1467d3a887a234e6e6b.zip | |
centos-ci: diagnostic output when starting over
Signed-off-by: Michael Adam <obnox@samba.org>
| -rwxr-xr-x | samba-integration-centos-ci-tests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/samba-integration-centos-ci-tests.sh b/samba-integration-centos-ci-tests.sh index 51f810d..354f523 100755 --- a/samba-integration-centos-ci-tests.sh +++ b/samba-integration-centos-ci-tests.sh @@ -72,6 +72,7 @@ then # the merged copy. if [ "${ghprbTargetBranch}" = "${SCRIPT_GIT_BRANCH}" ]; then if ! git diff --quiet ./"${SCRIPT_NAME}" "${SCRIPT_PATH}" ; then + echo "Script changed in PR ==> starting over..." exec "./${SCRIPT_NAME}" fi fi |