From 3d2945c64159b9a15eee85a62fecb8e525f3b160 Mon Sep 17 00:00:00 2001 From: Wim Taymans Date: Mon, 17 May 2021 09:42:31 +0200 Subject: [PATCH] uninstalled: support -v option to make 'make shell' work again --- pw-uninstalled.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/pw-uninstalled.sh b/pw-uninstalled.sh index b345d1f1c..a462dcc24 100755 --- a/pw-uninstalled.sh +++ b/pw-uninstalled.sh @@ -4,11 +4,14 @@ set -e SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" -while getopts ":b:" opt; do +while getopts ":b:v:" opt; do case ${opt} in b) BUILDDIR=${OPTARG} ;; + v) + VERSION=${OPTARG} + ;; \?) echo "Invalid option: -${OPTARG}" exit 1