diff options
Diffstat (limited to 'tools/linux_packaging/stage2.run.in')
-rwxr-xr-x | tools/linux_packaging/stage2.run.in | 7 |
1 files changed, 7 insertions, 0 deletions
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 |