diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-01-02 15:02:20 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-01-03 09:12:23 +0100 |
| commit | 2696f9b4a626229879248d7c97de252619a4e3b2 (patch) | |
| tree | abbe564a7d0a7edf254f7539f6e979e97fc22263 /lib | |
| parent | 7077c2ea9e86f001e805d7a2a5e7fcdfd0a8ece8 (diff) | |
| download | compcert-kvx-2696f9b4a626229879248d7c97de252619a4e3b2.tar.gz compcert-kvx-2696f9b4a626229879248d7c97de252619a4e3b2.zip | |
Remove __builtin_nop from list of x86 builtins.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions