diff options
-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 |