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 /arm/Asmexpand.ml | |
parent | b33da04f33c996246944f468dd037ceb994c4c21 (diff) | |
download | compcert-026f65aebdce67b12f8ac2beebce7358d4fa2de6.tar.gz compcert-026f65aebdce67b12f8ac2beebce7358d4fa2de6.zip |
Added option -o to clightgen.
Also allow preprocessed source files as input.
Diffstat (limited to 'arm/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions