diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-01-11 10:30:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-11 10:30:42 +0100 |
| commit | 026f65aebdce67b12f8ac2beebce7358d4fa2de6 (patch) | |
| tree | 9f2897fa0b2abc3872440ad329f159e286bd0183 /Changelog | |
| parent | b33da04f33c996246944f468dd037ceb994c4c21 (diff) | |
| download | compcert-kvx-026f65aebdce67b12f8ac2beebce7358d4fa2de6.tar.gz compcert-kvx-026f65aebdce67b12f8ac2beebce7358d4fa2de6.zip | |
Added option -o to clightgen.
Also allow preprocessed source files as input.
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions