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 /runtime/powerpc/i64_shr.s | |
parent | eb86160c37db09a0e201e25d90b0a9a1a6ef1cb6 (diff) | |
download | compcert-c9cdb9911223d405785ba40469d76f00af0eccff.tar.gz compcert-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 'runtime/powerpc/i64_shr.s')
0 files changed, 0 insertions, 0 deletions