From c22aebe93896124a6cc24313a9c17c6a9be60141 Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Wed, 1 Feb 2017 17:23:40 +0100
Subject: [PATCH] Windows `.bat` files can be executable

---
 Scripts/developer_scripts/detect_wrong_permissions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Scripts/developer_scripts/detect_wrong_permissions b/Scripts/developer_scripts/detect_wrong_permissions
index c0f6a6d57fa..21a30863ee8 100755
--- a/Scripts/developer_scripts/detect_wrong_permissions
+++ b/Scripts/developer_scripts/detect_wrong_permissions
@@ -2,7 +2,7 @@
 
 setopt extendedglob nullglob
 
-files=(((^build*)/)#(#i)*.^(py|sh|run|sh|csh|pl|perl|bin|out)(.x))
+files=(((^build*)/)#(#i)*.^(py|sh|run|sh|csh|pl|perl|bin|out|bat)(.x))
 #ls -1 ((^build*)/)#(#i)*.^(py|sh|run|sh|csh|pl|perl|bin|out)(.x) 2>/dev/null || exit 0
 if [ ${#files[@]} -gt 0 ]; then
     ls -1 "${(@)files}"