aboutsummaryrefslogtreecommitdiff
path: root/bin/clean
diff options
context:
space:
mode:
Diffstat (limited to 'bin/clean')
-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