summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmk6
1 files changed, 2 insertions, 4 deletions
diff --git a/mk b/mk
index 9c1d8973..7adea9e2 100755
--- a/mk
+++ b/mk
@@ -104,6 +104,8 @@ main()
if_not_dry_build=":"
;;
-f|-F) # download source code for a project
+ if_do_make=":"
+ if_not_do_make=""
if_dry_build=""
if_not_dry_build=":"
[ "$flag" = "-F" ] && \
@@ -125,10 +127,6 @@ main()
if_make_config=""
if_not_make_config=":"
fi
- if [ "$flag" = "-F" ] || [ "$flag" = "-f" ]; then
- if_do_make=":"
- if_not_do_make=""
- fi
if [ -z "${OPTARG+x}" ]; then
shift 1