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 /backend/SplitLong.vp | |
parent | 115825af0f765bf26270f9b9a2c550eddd76d7bd (diff) | |
download | compcert-ccf1983c3fe334fa82fa81ff7e3067e93b3d6c0c.tar.gz compcert-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 'backend/SplitLong.vp')
0 files changed, 0 insertions, 0 deletions