1 files changed, 4 insertions, 15 deletions
diff --git a/mk b/mk
index 78d2a603..286e24f9 100755
--- a/mk
+++ b/mk
@@ -35,26 +35,15 @@ main()
 	cmd=""
 	if [ $# -gt 0 ]; then
 		cmd="$1"
-
 		shift 1
 	fi
 
-	case "$cmd" in
-	version)
-		printf "%s\nWebsite: %s\n" "$relname" "$projectsite"
-		;;
-	release|download|inject|prep_mr_import)
-		$cmd "$@"
-		;;
-	-*)
+	if ! xeq main "$cmd" \
+	    version release download inject prep_mr_import; then
 		return 0
-		;;
-	*)
-		err "bad command" main "$@"
-		;;
-	esac
+	fi
 
-	# some commands disable them. turn them back on!
+	$cmd "$@"
 	set -u -e
 
 	return 1