diff options
Diffstat (limited to 'tools/linux_packaging/package')
| -rwxr-xr-x | tools/linux_packaging/package | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/linux_packaging/package b/tools/linux_packaging/package index cf11346eb8..653cae0b55 100755 --- a/tools/linux_packaging/package +++ b/tools/linux_packaging/package @@ -45,6 +45,8 @@ while [ $# -gt 0 ] ; do --singlearch) SINGLE_ARCH="T" ; shift ;; + --gcc5abi) shift ;; + *) #catch all for unknown arguments echo "" |