diff options
Diffstat (limited to 'main/boost/stdint.patch')
| -rw-r--r-- | main/boost/stdint.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/main/boost/stdint.patch b/main/boost/stdint.patch new file mode 100644 index 0000000000..65e838d3ad --- /dev/null +++ b/main/boost/stdint.patch @@ -0,0 +1,13 @@ +--- ./boost/atomic/atomic.hpp.orig 2013-04-23 11:44:45.556751918 +0000 ++++ ./boost/atomic/atomic.hpp 2013-04-23 11:45:44.944031100 +0000 +@@ -8,6 +8,10 @@ + // http://www.boost.org/LICENSE_1_0.txt) + + #include <cstddef> ++extern "C" { ++#include <stdint.h> ++} ++ + #include <boost/cstdint.hpp> + + #include <boost/memory_order.hpp> |