diff --git a/devel/libwfut/files/patch-tools-wfut.cpp b/devel/libwfut/files/patch-tools-wfut.cpp new file mode 100644 index 000000000000..89a70ee5548a --- /dev/null +++ b/devel/libwfut/files/patch-tools-wfut.cpp @@ -0,0 +1,11 @@ +--- tools/wfut.cpp.orig 2013-12-07 12:23:30.000000000 +0100 ++++ tools/wfut.cpp 2013-12-07 12:23:32.000000000 +0100 +@@ -7,6 +7,8 @@ + #endif + + #include ++#include ++#include + + #include + #include