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 /driver/Configuration.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 'driver/Configuration.ml')
0 files changed, 0 insertions, 0 deletions