2010-04-28 22:27:11 +02:00
|
|
|
Index: boost/config/compiler/gcc.hpp
|
|
|
|
|
===================================================================
|
2010-09-16 09:41:49 +02:00
|
|
|
--- boost/config/compiler/gcc.hpp.orig 2010-07-01 13:59:21.000000000 +0200
|
|
|
|
|
+++ boost/config/compiler/gcc.hpp 2010-08-24 14:01:18.000000000 +0200
|
|
|
|
|
@@ -93,7 +93,7 @@
|
2007-01-16 00:06:09 +01:00
|
|
|
// those platforms where we can know for sure). It will get turned off again
|
|
|
|
|
// later if no threading API is detected.
|
|
|
|
|
//
|
|
|
|
|
-#if !defined(__MINGW32__) && !defined(linux) && !defined(__linux) && !defined(__linux__)
|
2010-04-28 22:27:11 +02:00
|
|
|
+#if !defined(__MINGW32__)
|
2007-01-16 00:06:09 +01:00
|
|
|
# define BOOST_HAS_THREADS
|
|
|
|
|
#endif
|
|
|
|
|
|
