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 /arm/AsmToJSON.ml | |
| parent | 9ccb6a24541b3a06b600a70791950eecd46d1806 (diff) | |
| download | compcert-kvx-91601d4bd435efdee12e08188573f0e9bd910a8a.tar.gz compcert-kvx-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 'arm/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions