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 /lib/Readconfig.mll | |
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 'lib/Readconfig.mll')
0 files changed, 0 insertions, 0 deletions