Add thread_win32.h header
authorMarco Costalba <mcostalba@gmail.com>
Tue, 10 Mar 2015 11:42:40 +0000 (12:42 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Tue, 10 Mar 2015 11:42:40 +0000 (12:42 +0100)
commit8725494966f91af42c77d2f81d2c8a7fe1864316
treeb093a0cb4f1805df2349f83b96517651dda758c5
parentbe509525336b65419e708678abe4e16efb5f6f4d
Add thread_win32.h header

Workaround slow std::thread implementation in mingw
and gcc for Windows with our own old low level thread
functions.

No functional change.
src/misc.cpp
src/search.cpp
src/thread.cpp
src/thread.h
src/thread_win32.h [new file with mode: 0644]