diff options
-rwxr-xr-x | bin/clean | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |
![]() |
index : dotfiles | |
Unnamed repository; edit this file 'description' to name the repository. | External SSH Git service user |
aboutsummaryrefslogtreecommitdiff |
-rwxr-xr-x | bin/clean | 4 |
@@ -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 |