diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-06 12:37:31 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-06 12:37:31 +0200 |
commit | e8127be72ffc16f91de51c0b8dca3df0d3bd4745 (patch) | |
tree | fcb44286732a66e9457fb671185f7f888fe7aaa7 /backend/Linearizeaux.ml | |
parent | 55eb2d92376f592258855cfa5c0cfbbf39e8e833 (diff) | |
download | compcert-e8127be72ffc16f91de51c0b8dca3df0d3bd4745.tar.gz compcert-e8127be72ffc16f91de51c0b8dca3df0d3bd4745.zip |
Push the linker args separate.
Diffstat (limited to 'backend/Linearizeaux.ml')
0 files changed, 0 insertions, 0 deletions