diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-26 21:22:26 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-02-26 21:27:02 +0100 |
commit | 41051c5e81306c44db27315e2ddbb8db9d522c3e (patch) | |
tree | fdba3e40675f8bb189c3a4be1214fed7e876d46b /common/Memdataaux.ml | |
parent | 9e09561f54db459757446db52c01bf3d85bd8764 (diff) | |
download | compcert-41051c5e81306c44db27315e2ddbb8db9d522c3e.tar.gz compcert-41051c5e81306c44db27315e2ddbb8db9d522c3e.zip |
Added some gcc linker options.
CompCert now recognizes the gcc linker options:
-nostartfiles
-nodefaultlibs
-nostdlib
-s
-Xlinker <opt>
-u <symb>
Bug 18066.
Diffstat (limited to 'common/Memdataaux.ml')
0 files changed, 0 insertions, 0 deletions