projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2c037ea
)
fix for windows build
author
Kshitij Bansal
<kshitij@cs.nyu.edu>
Fri, 11 Jul 2014 15:54:48 +0000
(11:54 -0400)
committer
Kshitij Bansal
<kshitij@cs.nyu.edu>
Fri, 11 Jul 2014 15:54:48 +0000
(11:54 -0400)
src/main/portfolio.cpp
patch
|
blob
|
history
diff --git
a/src/main/portfolio.cpp
b/src/main/portfolio.cpp
index abe27eb06de2536133fcd7f3b02c4272afffefb7..51b4779cc6b4a02414be323c0ed6dd49910fe896 100644
(file)
--- a/
src/main/portfolio.cpp
+++ b/
src/main/portfolio.cpp
@@
-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())