summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2024-02-09 01:19:16 +0200
committerPaul Buetow <paul@buetow.org>2024-02-09 01:19:16 +0200
commitb124de93c6a8f5ef4ee5f6238e6a998243fc4614 (patch)
tree845b03eb9c93b3683bbb74a7a7e777238f9602c1
parent746cd53874d684475e969d1032650a1f74223c73 (diff)
remove clean
-rwxr-xr-xclean6
1 files changed, 0 insertions, 6 deletions
diff --git a/clean b/clean
deleted file mode 100755
index 0c7aeb8..0000000
--- a/clean
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/bash
-
-set -xeuf -o pipefail
-
-find . -name ioriotng -exec rm -v {} \;
-find . -name \*.o -exec rm -v {} \;