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 /cfrontend/Ctyping.v | |
parent | 32c34a37e913b856e0267ad8c7ca6e65b96c0b23 (diff) | |
download | compcert-5fdb050e09ff5fefbe42003499de22c56b2321bb.tar.gz compcert-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 'cfrontend/Ctyping.v')
0 files changed, 0 insertions, 0 deletions