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 /Makefile.extr | |
| 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 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions