diff options
Diffstat (limited to 'clean.sh')
| -rwxr-xr-x | clean.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/clean.sh b/clean.sh deleted file mode 100755 index f7863db..0000000 --- a/clean.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -set -xeuf -o pipefail - -find . -name ioriotng -exec rm -v {} \; -find . -name \*.o -exec rm -v {} \; -if [ -f internal/vmlinux.h ]; then - rm -v internal/vmlinux.h -fi |
