diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-21 13:42:49 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-21 13:42:49 +0200 |
| commit | 5fdb050e09ff5fefbe42003499de22c56b2321bb (patch) | |
| tree | a927add9a3f8cea961b94a75e7b638bce19a4503 /doc/ccomp.1 | |
| parent | 32c34a37e913b856e0267ad8c7ca6e65b96c0b23 (diff) | |
| download | compcert-kvx-5fdb050e09ff5fefbe42003499de22c56b2321bb.tar.gz compcert-kvx-5fdb050e09ff5fefbe42003499de22c56b2321bb.zip | |
Fix passing of -u to linker.
Instead of just passing -u to the linker also pass the value of
the option to the linker.
Bug 24316
Diffstat (limited to 'doc/ccomp.1')
0 files changed, 0 insertions, 0 deletions