diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/linux_packaging/install.sh | 8 | ||||
-rwxr-xr-x | tools/linux_packaging/stage2.run.in | 7 |
2 files changed, 11 insertions, 4 deletions
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}" diff --git a/tools/linux_packaging/stage2.run.in b/tools/linux_packaging/stage2.run.in index eb8e3d5cbf..7508fea022 100755 --- a/tools/linux_packaging/stage2.run.in +++ b/tools/linux_packaging/stage2.run.in @@ -240,6 +240,13 @@ if test -n "$MULTABI_BUNDLE"; then else ABI=-gcc5 fi + # allow to manually override + if test "$1" = "--gcc4"; then + ABI=-gcc4 + fi + if test "$1" = "--gcc5"; then + ABI=-gcc5 + fi else ABI= fi |