From 8e1de17319efb316f6eebdbe1b25dd777a4d3e0e Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Fri, 12 Aug 2016 13:36:04 +0200
Subject: allow to manually override gcc ABI selection in the installer

---
 tools/linux_packaging/install.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'tools/linux_packaging/install.sh')

diff --git a/tools/linux_packaging/install.sh b/tools/linux_packaging/install.sh
index b66b6d9dbe..3041c26684 100755
--- a/tools/linux_packaging/install.sh
+++ b/tools/linux_packaging/install.sh
@@ -15,14 +15,14 @@ cd "${PKG_PATH}"
 # fd 1 is stdout
 if [ ! -t 1 ]; then
 	if which xterm > /dev/null; then
-		exec xterm -e "${PKG_PATH}/.stage2.run"
+		exec xterm -e "${PKG_PATH}/.stage2.run $@"
 	elif which gnome-terminal > /dev/null; then
-		exec gnome-terminal -e "${PKG_PATH}/.stage2.run"
+		exec gnome-terminal -e "${PKG_PATH}/.stage2.run $@"
 	elif which konsole > /dev/null; then
-		exec konsole -e "${PKG_PATH}/.stage2.run"
+		exec konsole -e "${PKG_PATH}/.stage2.run $@"
 	fi
 else
-	"${PKG_PATH}/.stage2.run"
+	"${PKG_PATH}/.stage2.run" "$@"
 fi
 
 cd "${SAVED_PWD}"
-- 
cgit v1.2.3