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 1f1fc2d67c..9255b2ea8c 100755 --- a/script/clean-up-dir.sh +++ b/script/clean-up-dir.sh @@ -3,11 +3,14 @@ find . -name "*.d" -delete find . -name "*.dart" -delete find . -name "*.vb" -delete find . -name "*.nim" -delete +find . -name "*.jpg" -delete +find . -name "*.mod" -delete find . -name "*.julia" -delete find . -name "*.p" -delete find . -name "*.t" -delete find . -name "*.bc" -delete find . -name "*.pl" -delete +find . -name "*.ps" -delete find . -name "*.st" -delete find . -name "*.m4" -delete find . -name "*.pm" -delete |