diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-28 14:52:17 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-28 14:52:17 +0200 |
| commit | c9cdb9911223d405785ba40469d76f00af0eccff (patch) | |
| tree | fd8c7c79374c72a316140d9b0feeb71f44f7779b /exportclight | |
| parent | eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6 (diff) | |
| download | compcert-kvx-c9cdb9911223d405785ba40469d76f00af0eccff.tar.gz compcert-kvx-c9cdb9911223d405785ba40469d76f00af0eccff.zip | |
For running tests with the interpreter, use the correct -stdlib option
Otherwise the interpreter uses the system's header files instead of CompCert's. This can lead to mismatches e.g. on the definition of wchar_t.
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions