summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-08 14:57:18 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-29 11:10:05 +0200
commitbf2544710979158defb0238062513a650aa4260e (patch)
tree65c4a2fac97bfd6e6e80c796a2bd01c27dd58d1b /config
parente56a7bd34e2c631b6593e61cf348205a720f2498 (diff)
downloadocaml-bf2544710979158defb0238062513a650aa4260e.tar.gz
Fix NATIVECC's value for the MSVC64 port
The -D_CRT_SECURE_NO_DEPRECATE argument was not given to NATIVECC, this seems to be an omission.
Diffstat (limited to 'config')
-rw-r--r--config/Makefile.msvc642
1 files changed, 1 insertions, 1 deletions
diff --git a/config/Makefile.msvc64 b/config/Makefile.msvc64
index 4e2653aed3..346c6513fc 100644
--- a/config/Makefile.msvc64
+++ b/config/Makefile.msvc64
@@ -179,7 +179,7 @@ MODEL=default
SYSTEM=win64
### Which C compiler to use for the native-code compiler.
-NATIVECC=cl -nologo -O2 -Gy- -MD
+NATIVECC=cl -nologo -D_CRT_SECURE_NO_DEPRECATE -O2 -Gy- -MD
NATIVE_C_COMPILER=$(NATIVECC)
### Additional compile-time options for $(NATIVECC).