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