diff --git a/scripts-dev/check_line_terminators.sh b/scripts-dev/check_line_terminators.sh
index fffa24e01e43..0c331c78e08b 100755
--- a/scripts-dev/check_line_terminators.sh
+++ b/scripts-dev/check_line_terminators.sh
@@ -28,7 +28,7 @@
 cd "$(dirname "$0")/.." || exit
 
 # Find and print files with non-unix line terminators
-if find . -path './.git/*' -prune -o -type f -print0 | xargs -0 grep -I -l $'\r$'; then
+if find . -path './.git/*' -prune -o -path './dev-docs/make.bat' -prune -o -type f -print0 | xargs -0 grep -I -l $'\r$'; then
     echo -e '\e[31mERROR: found files with CRLF line endings. See above.\e[39m'
     exit 1
 fi