diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-05-13 09:29:09 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-05-13 09:29:09 +0200 |
commit | 19f2a76f9b5ea3503c2cb8d3153f212e77eda92d (patch) | |
tree | 86dd27dbd17baae5485fb5471d2f4327c5a87519 /backend | |
parent | 0d48fd07e551d3cedd616126400b00464a137835 (diff) | |
download | compcert-19f2a76f9b5ea3503c2cb8d3153f212e77eda92d.tar.gz compcert-19f2a76f9b5ea3503c2cb8d3153f212e77eda92d.zip |
Added option to pass linker options to gcc.
Some gcc options have influence on the linking (especially -march,
etc.). The new -WUl options allows it to pass the options to the
gcc called for linking instead of passing them to the linker
directly.
Bug 18949.
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions