From b7bf32e40c3c99ceb030e03bdee4beb79134894b Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Wed, 16 Jan 2019 01:29:01 +0200
Subject: [PATCH] BOOST_PLAT_WINDOWS_DESKTOP is not defined for Cygwin

---
 src/cpu_timer.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cpu_timer.cpp b/src/cpu_timer.cpp
index ba8937c..82a8d7b 100644
--- a/src/cpu_timer.cpp
+++ b/src/cpu_timer.cpp
@@ -122,7 +122,7 @@ namespace
 
 # if defined(BOOST_WINDOWS_API)
 
-#  if BOOST_PLAT_WINDOWS_DESKTOP
+#  if BOOST_PLAT_WINDOWS_DESKTOP || defined(__CYGWIN__)
     FILETIME creation, exit;
     if (::GetProcessTimes(::GetCurrentProcess(), &creation, &exit,
             (LPFILETIME)&current.system, (LPFILETIME)&current.user))