diff options
author | EuAndreh <eu@euandre.org> | 2025-06-12 17:16:10 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2025-06-12 17:16:10 -0300 |
commit | 2fd52b25f0caa95bbc76095f05760bad30adf7ea (patch) | |
tree | 9d660a4908333a02e571dc76801ace439090bb38 | |
parent | etc/sh/rc: Remove $FUZZSEC (diff) | |
download | dotfiles-2fd52b25f0caa95bbc76095f05760bad30adf7ea.tar.gz dotfiles-2fd52b25f0caa95bbc76095f05760bad30adf7ea.tar.xz |
bin/clean: Act on fuzz.dev file if it exists
-rwxr-xr-x | bin/clean | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 |