diff options
Diffstat (limited to 'main/boost/stdint.patch')
| -rw-r--r-- | main/boost/stdint.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/main/boost/stdint.patch b/main/boost/stdint.patch deleted file mode 100644 index 65e838d3a..000000000 --- a/main/boost/stdint.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- ./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> |
