diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 10:23:29 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-16 16:29:34 +0100 |
| commit | 455b3384f85a23923001741d6b04deb88e997fd2 (patch) | |
| tree | ca672642983cbc178bd4db6d8c5d0791923156ab /driver/Frontend.ml | |
| parent | 95395781f2cc8ae8cd4e9a167795f594e3b6dc23 (diff) | |
| download | compcert-455b3384f85a23923001741d6b04deb88e997fd2.tar.gz compcert-455b3384f85a23923001741d6b04deb88e997fd2.zip | |
Rename abi for ppc-linux targets.
Diffstat (limited to 'driver/Frontend.ml')
0 files changed, 0 insertions, 0 deletions