diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 13:16:27 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 13:16:27 +0100 |
commit | 0c999140e3eb696580282375e06fc13d64f6103a (patch) | |
tree | 6d6ab9d24dab282bc5727890cd1b46930b94b52f /Makefile | |
parent | 7cef0b2872b00343c5dd0f94440ce245f6b5e422 (diff) | |
download | compcert-0c999140e3eb696580282375e06fc13d64f6103a.tar.gz compcert-0c999140e3eb696580282375e06fc13d64f6103a.zip |
Changed the name of a few ppc instructions. Bug 17544
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions