diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-12-11 10:15:33 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-12-11 10:15:33 +0100 |
| commit | 66ae780e8a94f676480e9eec40354a3a8cbc3041 (patch) | |
| tree | c45a1c3471eb2cf93f1fb7fc7cd3a4c910890847 /coq | |
| parent | a7f005b94a1dac82ac106950f643507a268ff1c9 (diff) | |
| download | compcert-66ae780e8a94f676480e9eec40354a3a8cbc3041.tar.gz compcert-66ae780e8a94f676480e9eec40354a3a8cbc3041.zip | |
bug 17752, add builtin_nop for PowerPC
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions