diff --git dev-support/jenkins-common.sh dev-support/jenkins-common.sh index 4edf3981b0..e9ba9e3f83 100644 --- dev-support/jenkins-common.sh +++ dev-support/jenkins-common.sh @@ -103,8 +103,8 @@ is_check_no_precommit_tests_set() { # Gets the URL for the JIRA patch attached get_jira_patch_url() { - grep -o '"/jira/secure/attachment/[0-9]*/[^"]*' $1 | grep -v -e 'htm[l]*$' | sort | tail -1 | \ - grep -o '/jira/secure/attachment/[0-9]*/[^"]*' + grep -o '"/jira/secure/attachment/[0-9]*/[^"]*\.patch*' $1 | sort | tail -1 | \ + grep -o '/jira/secure/attachment/[0-9]*/[^"]*\.patch*' } # Checks if the patch was already tested