diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-10 10:30:04 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-10 10:30:04 +0200 |
| commit | 9c104c8d0a7e04ed2339ccd0c18600e479351a00 (patch) | |
| tree | 69811b22ac6d9b7c4f0945074b9219006a1f4cc7 /runtime/Makefile | |
| parent | 9d85d044fad9d35efe2612b7a5518f7f9074572f (diff) | |
| download | compcert-kvx-9c104c8d0a7e04ed2339ccd0c18600e479351a00.tar.gz compcert-kvx-9c104c8d0a7e04ed2339ccd0c18600e479351a00.zip | |
Name of stwcx. instruction should be printed Pstwcx_.
Diffstat (limited to 'runtime/Makefile')
0 files changed, 0 insertions, 0 deletions