diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-10-12 10:58:59 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-10-16 08:19:06 +0200 |
| commit | ccf1983c3fe334fa82fa81ff7e3067e93b3d6c0c (patch) | |
| tree | 9ba6409cddf963e63b91b4076e9881d09ac66ad0 /exportclight | |
| parent | 115825af0f765bf26270f9b9a2c550eddd76d7bd (diff) | |
| download | compcert-kvx-ccf1983c3fe334fa82fa81ff7e3067e93b3d6c0c.tar.gz compcert-kvx-ccf1983c3fe334fa82fa81ff7e3067e93b3d6c0c.zip | |
Do not generate object files for linking.
If CompCert is called to compile and link object files should not
be created.
Bug 22399
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions