From 563c34b3f2b348761605dc806a18f94466f1c513 Mon Sep 17 00:00:00 2001 From: Ben Peddell Date: Fri, 18 Sep 2015 19:10:23 +1000 Subject: [PATCH] Add prefix, exec-prefix and install-root arguments --- tools/install.sh | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/tools/install.sh b/tools/install.sh index 07efeac..d0adf11 100755 --- a/tools/install.sh +++ b/tools/install.sh @@ -14,6 +14,27 @@ while [ -n "$1" ]; do showusage=yes break ;; + --prefix=*) + PREFIX="${1#--prefix=}" + ;; + --prefix) + PREFIX="$2" + shift + ;; + --exec-prefix=*) + EXECPREFIX="${1#--exec-prefix=}" + ;; + --exec-prefix) + EXECPREFIX="$2" + shift + ;; + --install-root=*) + INSTALL_ROOT="${1#--install-root=}" + ;; + --install-root) + INSTALL_ROOT="$2" + shift + ;; -*) echo "Invalid option '$1'" showusage=yes