diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-18 11:21:01 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-18 11:21:01 +0200 |
commit | d8dcf41334d7a6ff2d2eaa53f215c80ef26cd517 (patch) | |
tree | 58bca86cfcdda56ee85409c5b477202964d4fb12 /backend | |
parent | 576d65e2570d114c2e25ac2e25de29d3889af06f (diff) | |
download | compcert-kvx-d8dcf41334d7a6ff2d2eaa53f215c80ef26cd517.tar.gz compcert-kvx-d8dcf41334d7a6ff2d2eaa53f215c80ef26cd517.zip |
configure: Wording and formatting of the Skylake/OCaml warning
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions