diff options
-rwxr-xr-x | bin/clean | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,5 +1,9 @@ #!/bin/sh set -eu -make -s clean +if [ -e Makefile ]; then + make -s clean +elif [ -e mkfile ]; then + mk clean +fi vcs clean |
![]() |
index : dotfiles | |
Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
aboutsummaryrefslogtreecommitdiff |
-rwxr-xr-x | bin/clean | 6 |
@@ -1,5 +1,9 @@ #!/bin/sh set -eu -make -s clean +if [ -e Makefile ]; then + make -s clean +elif [ -e mkfile ]; then + mk clean +fi vcs clean |