Files
cgal/Scripts/developer_scripts/detect_wrong_permissions
T
2014-05-22 15:10:00 +02:00

7 lines
125 B
Bash
Executable File

#!/bin/zsh
setopt extendedglob
ls -1 ^build*/**/(#i)*.^(py|sh|run|sh|csh|pl|perl|bin|out)(.x) 2>/dev/null || exit 0
exit 1