summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2017-02-20 15:26:40 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2017-05-16 19:48:37 +0100
commitf7f5b9487fb1e6179cd2eebd3d0a51a8f2d9ac64 (patch)
tree6b1c8d1618a469bc9ae201878f2914fdd582332e /config
parent43e39de99bfd2580735a4f640dbe7d1e569d03fe (diff)
downloadocaml-f7f5b9487fb1e6179cd2eebd3d0a51a8f2d9ac64.tar.gz
Use _mkgmtime64 in Unix.stat (where available)
_mkgmtime64 is _mktime64, but assumes UTC.
Diffstat (limited to 'config')
-rw-r--r--config/s-nt.h7
1 files changed, 7 insertions, 0 deletions
diff --git a/config/s-nt.h b/config/s-nt.h
index 8c28dc5ef3..5ba1cf02e3 100644
--- a/config/s-nt.h
+++ b/config/s-nt.h
@@ -38,3 +38,10 @@
#define LACKS_SANE_NAN
#define LACKS_VSCPRINTF
#endif
+/* _mkgmtime64 was introduced in Visual Studio .NET 2002. It's not by default
+ * available in mingw32 because it was only back-ported to msvcrt.dll from
+ * Windows Vista.
+ */
+#if defined(__MINGW64__) || !defined(__MINGW32__) && _MSC_VER >= 1300
+#define HAS_MKGMTIME64
+#endif