diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-10 14:39:12 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-10 14:39:12 +0200 |
| commit | 1e19ffdc01a94b485b61b824ce2fa9e440e36ae7 (patch) | |
| tree | 49d6ae94dfb64331bbd41a45520e1e7118808ed3 /checklink | |
| parent | aca71566249cd13f506b70f88457eaa8efc5b795 (diff) | |
| download | compcert-1e19ffdc01a94b485b61b824ce2fa9e440e36ae7.tar.gz compcert-1e19ffdc01a94b485b61b824ce2fa9e440e36ae7.zip | |
When using gcc as a preprocessor, put it in C99 mode.
As opposed to the default "gnu99" mode, the C99 mode turns off a number of GNU-isms in standard header files like those of glibc.
Diffstat (limited to 'checklink')
0 files changed, 0 insertions, 0 deletions