diff options
| author | Tomasz Kramkowski <tk@the-tk.com> | 2020-09-09 19:36:13 +0100 |
|---|---|---|
| committer | Tomasz Kramkowski <tk@the-tk.com> | 2020-09-09 19:36:13 +0100 |
| commit | b435a5824bf88b9bddddb81e645623caa2e334bc (patch) | |
| tree | 2f26f5e00ed0825bec0980c0f815e814dcfa0650 /scripts | |
| parent | faa44a2bac0a9ddef75e68990486ccae7377ac36 (diff) | |
| download | pack-b435a5824bf88b9bddddb81e645623caa2e334bc.tar.gz pack-b435a5824bf88b9bddddb81e645623caa2e334bc.tar.xz pack-b435a5824bf88b9bddddb81e645623caa2e334bc.zip | |
Switch to using redo
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/clean | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/clean b/scripts/clean new file mode 100755 index 0000000..97d7b0f --- /dev/null +++ b/scripts/clean @@ -0,0 +1,2 @@ +#!/bin/sh +find . \( -name '*.d' -o -name '*.o' -o -name '*_gen' -o -name '*.inc' \) -delete |