aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2025-06-12 17:16:10 -0300
committerEuAndreh <eu@euandre.org>2025-06-12 17:16:10 -0300
commit2fd52b25f0caa95bbc76095f05760bad30adf7ea (patch)
tree9d660a4908333a02e571dc76801ace439090bb38
parentetc/sh/rc: Remove $FUZZSEC (diff)
downloaddotfiles-2fd52b25f0caa95bbc76095f05760bad30adf7ea.tar.gz
dotfiles-2fd52b25f0caa95bbc76095f05760bad30adf7ea.tar.xz
bin/clean: Act on fuzz.dev file if it exists
-rwxr-xr-xbin/clean6
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/clean b/bin/clean
index 5a94c77..0ec255f 100755
--- a/bin/clean
+++ b/bin/clean
@@ -2,7 +2,11 @@
set -eu
if [ -e Makefile ]; then
- make -s clean
+ if [ -e fuzz.mk ]; then
+ make -sffuzz.mk clean
+ else
+ make -s clean
+ fi
elif [ -e mkfile ]; then
mk clean
fi