diff options
author | Robin Gareus <robin@gareus.org> | 2016-08-12 22:21:29 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-08-12 22:22:02 +0200 |
commit | fd6dd8b19e29a6020424cecefb4d89ae9322724b (patch) | |
tree | 3ad50a0c999b84aba514dd8a474c4bd444154cd8 /tools/omf | |
parent | 0fa106ef4b909c71969509942f7c5ad1ee84d7f4 (diff) |
revert 388a8fc9; prefer gcc4 if we can't determine the ABI
Diffstat (limited to 'tools/omf')
0 files changed, 0 insertions, 0 deletions