diff options
| author | Leo White <lpw25@cl.cam.ac.uk> | 2016-11-04 11:29:10 +0000 |
|---|---|---|
| committer | Leo White <lpw25@cl.cam.ac.uk> | 2017-01-10 10:12:17 +0000 |
| commit | 709f5c76615691281daae4ecf220d192cc7da472 (patch) | |
| tree | bd27ccaec028207ae4ef16ad9afa2a941a9f5e20 /configure | |
| parent | 5ed72007f8185b2bd3c7a663abdcb1be5eaeee7c (diff) | |
| download | ocaml-709f5c76615691281daae4ecf220d192cc7da472.tar.gz | |
Use -fno-builtin-memcmp with gcc
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -393,7 +393,8 @@ case "$ccfamily" in bytecccompopts="-std=gnu99 -O"; byteccprivatecompopts="$gcc_warnings";; gcc-4-*) - bytecccompopts="-std=gnu99 -O2 -fno-strict-aliasing -fwrapv"; + bytecccompopts="-std=gnu99 -O2 -fno-strict-aliasing -fwrapv \ +-fno-builtin-memcmp"; byteccprivatecompopts="$gcc_warnings";; gcc-*) bytecccompopts="-O2 -fno-strict-aliasing -fwrapv"; |