diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-06-10 10:07:02 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-06-10 10:07:02 +0200 |
| commit | 929c0ea6f02713f59c0862fa0c3a53e0cb89c334 (patch) | |
| tree | 168677dd7c66fc02e871d4d11d4519e32c5f07ed /.depend | |
| parent | 744dc278d24b15a72ef471fc25c1c8a8df62cc4e (diff) | |
| download | compcert-929c0ea6f02713f59c0862fa0c3a53e0cb89c334.tar.gz compcert-929c0ea6f02713f59c0862fa0c3a53e0cb89c334.zip | |
Moved the printing of the builtin functions etc. into Asmexpand for ARM in the same way as it is done for PPC.
Diffstat (limited to '.depend')
0 files changed, 0 insertions, 0 deletions