diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-05 16:11:27 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-08-05 16:11:27 +0200 |
| commit | 3e071cf4c8a5cc8fde76cdbb00e90ebbd0d872d4 (patch) | |
| tree | 885ab6b32b1a293956cfb9049f00520ac45116ba /powerpc/CBuiltins.ml | |
| parent | 63ebcf71ccd28a7e3a91737dc155dafc79b4196f (diff) | |
| download | compcert-kvx-3e071cf4c8a5cc8fde76cdbb00e90ebbd0d872d4.tar.gz compcert-kvx-3e071cf4c8a5cc8fde76cdbb00e90ebbd0d872d4.zip | |
Also print the system in the output to differentiate between diab and gcc produced code in later checks.
Diffstat (limited to 'powerpc/CBuiltins.ml')
0 files changed, 0 insertions, 0 deletions