diff --git a/Scripts/developer_scripts/detect_wrong_encoding b/Scripts/developer_scripts/detect_wrong_encoding new file mode 100755 index 00000000000..df1446dba6c --- /dev/null +++ b/Scripts/developer_scripts/detect_wrong_encoding @@ -0,0 +1,5 @@ +#!/bin/zsh + +setopt extendedglob + +file ^build*/(include|doc)/**/*.h| egrep -v ':[[:space:]]+(C(\+\+)? source, |LaTeX document, |HTML document, )?(ASCII|UTF-8 Unicode) text(, with very long lines)?$'