From affcf913edcddc7155b1add17756cbb6f25fa049 Mon Sep 17 00:00:00 2001 From: Christopher Schwan Date: Tue, 26 Sep 2023 19:31:26 +0200 Subject: [PATCH] Support `--prefix=` and `--version=` in `install-capi.sh` --- install-capi.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/install-capi.sh b/install-capi.sh index 50df899b..157aa9f4 100755 --- a/install-capi.sh +++ b/install-capi.sh @@ -26,11 +26,19 @@ while [ $# -gt 0 ]; do shift shift ;; + --version=*) + version=${1#--version=} + shift + ;; --prefix) prefix=$2 shift shift ;; + --prefix=*) + prefix=${1#--prefix=} + shift + ;; *) echo "Error: argument '$1' unknown" exit 1