From 60607af425654fffee01cef2895f75031fd3b6cd Mon Sep 17 00:00:00 2001
From: "B. Wilson" <x@wilsonb.com>
Date: Mon, 27 Feb 2023 21:39:46 +0900
Subject: [PATCH] INSTALL: Support supplying multiple flags on the command line

In particular, this commit adds support for running

    ./INSTALL -c -r <path>
---
 INSTALL | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/INSTALL b/INSTALL
index 2e79030ae..f04501f0b 100755
--- a/INSTALL
+++ b/INSTALL
@@ -3,25 +3,27 @@
 dobuild=true
 doinstall=true
 
-case "x$1" in
+while [ "$#" -gt 0 ]; do case "x$1" in
 x)
 	;;
 x-b)
 	dobuild=true
 	doinstall=false
+	shift
 	;;
 x-c)
 	dobuild=false
 	doinstall=true
+	shift
 	;;
 x-r)
-	shift
-	PLAN9_TARGET=$1
+	PLAN9_TARGET=$2
+	shift 2
 	;;
 *)
 	echo 'usage: INSTALL [-b | -c] [-r path]' 1>&2
 	exit 1
-esac
+esac; done
 
 echo "+ Mailing list: https://groups.google.com/group/plan9port-dev"
 echo "+ Issue tracker: https://github.com/9fans/plan9port/issues/"