diff options
Diffstat (limited to 'script')
| -rwxr-xr-x | script/clean-up-dir.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/script/clean-up-dir.sh b/script/clean-up-dir.sh index 3d76b9ba04..139067409a 100755 --- a/script/clean-up-dir.sh +++ b/script/clean-up-dir.sh @@ -4,6 +4,7 @@ find . -name "*.kap" -delete find . -name "*.gleam" -delete find . -name "*.zon" -delete find . -name "*.k" -delete +find . -name "*.p" -delete find . -name "*.pro" -delete find . -name "*.lhs" -delete find . -name "*.i3" -delete |