From c66e0118a3b270a96f71ce2f072ef5598436d7d1 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sun, 15 Apr 2018 13:33:29 +0200
Subject: [PATCH 23/23] Make sure that __rdtsc() is declared

Otherwise, the 32-bit mingw-w64 build fails.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 deps/v8/src/base/platform/time.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/deps/v8/src/base/platform/time.cc b/deps/v8/src/base/platform/time.cc
index dcc13087..2055039c 100644
--- a/deps/v8/src/base/platform/time.cc
+++ b/deps/v8/src/base/platform/time.cc
@@ -695,6 +695,12 @@ void ThreadTicks::WaitUntilInitializedWin() {
     ::Sleep(10);
 }
 
+#ifdef __MINGW64_VERSION_MAJOR
+extern "C" {
+	extern unsigned __int64 __rdtsc(void);
+}
+#endif
+
 double ThreadTicks::TSCTicksPerSecond() {
   DCHECK(IsSupported());
 
-- 
2.17.0.windows.1

