fix for windows build
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 11 Jul 2014 15:54:48 +0000 (11:54 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 11 Jul 2014 15:54:48 +0000 (11:54 -0400)
src/main/portfolio.cpp

index abe27eb06de2536133fcd7f3b02c4272afffefb7..51b4779cc6b4a02414be323c0ed6dd49910fe896 100644 (file)
@@ -96,6 +96,7 @@ std::pair<int, S> runPortfolio(int numThreads,
 
 #endif /* BOOST_HAS_THREAD_ATTR */
 
+#if defined(BOOST_THREAD_PLATFORM_PTHREAD)
     if(Chat.isOn()) {
       void *stackaddr;
       size_t stacksize;
@@ -104,6 +105,7 @@ std::pair<int, S> runPortfolio(int numThreads,
       pthread_attr_getstack(&attr, &stackaddr, &stacksize);
       Chat() << "Created worker thread " << t << " with stack size " << stacksize << std::endl;
     }
+#endif
   }
 
   if(not driverFn.empty())