diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-20 11:02:13 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-20 11:04:17 +0200 |
| commit | b9a6a50546222269bb9445d0d21d948028b2720a (patch) | |
| tree | 10c9e6d41ae2baf91b80841cc161ec884aea9f8e /cparser/Diagnostics.ml | |
| parent | e9b5632617b1477603883aab543994e2a1c464ce (diff) | |
| download | compcert-kvx-b9a6a50546222269bb9445d0d21d948028b2720a.tar.gz compcert-kvx-b9a6a50546222269bb9445d0d21d948028b2720a.zip | |
Harden the extasm.c test
Pass more info from CompCert's configuration as #define on command line.
Use this info to improve the "64 bit" detection in extasm.c.
(Before it fails with powerpc-ppc64, which has 64-bit int regs but
couldn't be detected with #ifdefs.)
Diffstat (limited to 'cparser/Diagnostics.ml')
0 files changed, 0 insertions, 0 deletions