| 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 |
| |
