From 3977190e7a5762582c33075591583b37f52b09bc Mon Sep 17 00:00:00 2001
From: Ben Peddell <klightspeed@killerwolves.net>
Date: Fri, 18 Sep 2015 19:17:49 +1000
Subject: [PATCH] Use PREFIX for global install

---
 tools/install.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/install.sh b/tools/install.sh
index 3352de1..1caffaf 100755
--- a/tools/install.sh
+++ b/tools/install.sh
@@ -78,7 +78,8 @@ if [ "$userinstall" == "yes" ]; then
   PREFIX="${PREFIX:-${HOME}}"
   EXECPREFIX="${EXECPREFIX:-${PREFIX}}"
 else
-  EXECPREFIX="${EXECPREFIX:-/usr/local}"
+  PREFIX="${PREFIX:-/usr/local}"
+  EXECPREFIX="${EXECPREFIX:-${PREFIX}}"
 fi
 
 BINDIR="${BINDIR:-${EXECPREFIX}/bin}"