diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/clean-up-dir.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/clean-up-dir.sh b/script/clean-up-dir.sh index 1a8a95b1e4..ae746fad79 100755 --- a/script/clean-up-dir.sh +++ b/script/clean-up-dir.sh @@ -3,6 +3,9 @@ find . -name "*.gpr" -delete find . -name "Makefile" -delete find . -name "m3makefile" -delete find . -name "*.m3" -delete +find . -name "cpanfile*" -delete +find . -name "*.f" -delete +find . -name "*.h" -delete find . -name "*.dc" -delete find . -name "*.w" -delete find . -name "*.wl" -delete |