aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/clean4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/clean b/bin/clean
index 889af8d..d8c6872 100755
--- a/bin/clean
+++ b/bin/clean
@@ -61,9 +61,9 @@ shift $((OPTIND - 1))
if [ -e dev.mk ]; then
- F='Makefile'
-else
F='dev.mk'
+else
+ F='Makefile'
fi
make -sf"$F" clean