diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-09-23 09:31:01 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-09-23 09:31:01 +0200 |
| commit | 0218da79e51bfdd3b5911aa0b80febf4cb7c0ef4 (patch) | |
| tree | f61733a07ed22c6fde70764e40842aa625282041 /configure | |
| parent | 905012098014efe6ac661ca5fdaa30ba80480296 (diff) | |
| download | compcert-0218da79e51bfdd3b5911aa0b80febf4cb7c0ef4.tar.gz compcert-0218da79e51bfdd3b5911aa0b80febf4cb7c0ef4.zip | |
undefine _Nullable to add some compatibility with macOS 10.12 SDK
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -296,7 +296,7 @@ if test "$arch" = "ia32"; then cc="${toolprefix}gcc -arch i386" clinker="${toolprefix}gcc" cprepro="${toolprefix}gcc" - cprepro_options="-std=c99 -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' -E" + cprepro_options="-std=c99 -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' '-D_Nullable=' -E" libmath="" struct_passing="ints" struct_return="int1248" |