mirror of https://github.com/CGAL/cgal
Windows `.bat` files can be executable
This commit is contained in:
parent
821d4af5e2
commit
c22aebe938
|
|
@ -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}"
|
||||
|
|
|
|||
Loading…
Reference in New Issue