diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-01 10:48:21 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-01 10:48:21 +0100 |
commit | 71fa5147139f85cb0d14ded74b04b39dd52f776b (patch) | |
tree | 5e7216624f6c076a3f33a8ff3006d19a3603ce11 /cparser/Cutil.mli | |
parent | f1df4fcf671ac0cdb4ddf51d2af20b3eb10af61e (diff) | |
download | compcert-71fa5147139f85cb0d14ded74b04b39dd52f776b.tar.gz compcert-71fa5147139f85cb0d14ded74b04b39dd52f776b.zip |
Add LINK_OPT and document it.
The new Makefile variable LINK_OPT can be used to specify
additional linker flags for different operating systems, like
linking with setargv.obj under windows.
Bug 20871
Diffstat (limited to 'cparser/Cutil.mli')
0 files changed, 0 insertions, 0 deletions