diff options
Diffstat (limited to 'scripts/clean')
| -rwxr-xr-x | scripts/clean | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/clean b/scripts/clean deleted file mode 100755 index 42574c9..0000000 --- a/scripts/clean +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -find . \( -name '*.d' -o -name '*.o' -o -name '*.inc' -o -name 'test_gen' -o -name 'test' \) -delete |