diff --git a/tools/check_file_diff_approvals.sh b/tools/check_file_diff_approvals.sh index e85ecf54c46ec6a15b7a00c5a6616db17ade054f..1928dda447ac6f096f3572bfdfa7aba4d66e5300 100644 --- a/tools/check_file_diff_approvals.sh +++ b/tools/check_file_diff_approvals.sh @@ -94,7 +94,7 @@ if [[ $git_files -gt 19 || $git_count -gt 999 ]];then fi for API_FILE in ${API_FILES[*]}; do - API_CHANGE=`git diff --name-only upstream/$BRANCH | grep "${API_FILE}" | grep -v "/CMakeLists.txt" || true` + API_CHANGE=`git diff --name-only upstream/$BRANCH | grep -F "${API_FILE}" | grep -v "/CMakeLists.txt" || true` if [ "${API_CHANGE}" ] && [ "${GIT_PR_ID}" != "" ]; then # NOTE: per_page=10000 should be ok for all cases, a PR review > 10000 is not human readable. # You can use http://caius.github.io/github_id/ to find Github user id.