From e48bc0dfe3410168a1ebe4a1c7cf06c2d860c549 Mon Sep 17 00:00:00 2001
From: Eamon Nerbonne <eamon@nerbonne.org>
Date: Tue, 19 Apr 2011 14:37:04 +0200
Subject: WIN32 isn't defined ?? but _WIN32 is.

---
 bench/BenchTimer.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bench')

diff --git a/bench/BenchTimer.h b/bench/BenchTimer.h
index edf48ad9e..911663302 100644
--- a/bench/BenchTimer.h
+++ b/bench/BenchTimer.h
@@ -119,7 +119,7 @@ public:
 
   inline double getCpuTime()
   {
-#ifdef WIN32
+#ifdef _WIN32
     LARGE_INTEGER query_ticks;
     QueryPerformanceCounter(&query_ticks);
     return query_ticks.QuadPart/m_frequency;
@@ -132,7 +132,7 @@ public:
 
   inline double getRealTime()
   {
-#ifdef WIN32
+#ifdef _WIN32
     SYSTEMTIME st;
     GetSystemTime(&st);
     return (double)st.wSecond + 1.e-3 * (double)st.wMilliseconds;
-- 
cgit v1.2.3