diff --git a/tools/gate/whitespace-linter.sh b/tools/gate/whitespace-linter.sh
index 55f062d3..68b17c80 100755
--- a/tools/gate/whitespace-linter.sh
+++ b/tools/gate/whitespace-linter.sh
@@ -2,7 +2,7 @@
 
 set -x
 
-RES=$(git grep -E -l " +$")
+RES=$(git grep -E -l -I " +$")
 
 if [[ -n $RES ]]; then
   exit 1