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}"