diff options
| author | Robin Gareus <robin@gareus.org> | 2015-09-26 21:23:01 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-09-26 21:23:01 +0200 |
| commit | 19c4bc8d83ea317ec2c600929dd3a7337cb9bd15 (patch) | |
| tree | aba74989b970e37ed24a131dd4ab11baeef970c4 | |
| parent | b951448750e1e5f9023467aea26eb631a19e8363 (diff) | |
accept/ignore --gcc5abi option during packaging.
| -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 "" |