diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-01-05 12:54:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-05 12:54:53 +0100 |
commit | 91601d4bd435efdee12e08188573f0e9bd910a8a (patch) | |
tree | 1383b0a2804a5719a2829063e8917d0f03f7a6bb /backend/Tailcall.v | |
parent | 9ccb6a24541b3a06b600a70791950eecd46d1806 (diff) | |
download | compcert-91601d4bd435efdee12e08188573f0e9bd910a8a.tar.gz compcert-91601d4bd435efdee12e08188573f0e9bd910a8a.zip |
Added toolchain specific option for dcc. (#47)
CompCert now accepts the target configuration option of the diab
data compiler and passes it on to the preprocessor, assembler and
linker.
Bug 20521
Diffstat (limited to 'backend/Tailcall.v')
0 files changed, 0 insertions, 0 deletions