From 03cc42d44f60ee4968a79a17ca1b38bf4afdf6eb Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 8 Jul 2014 13:22:45 +0200
Subject: [PATCH] New script, to detect non-UTF-8 header files

---
 Scripts/developer_scripts/detect_wrong_encoding | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 Scripts/developer_scripts/detect_wrong_encoding

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)?$'