diff options
Diffstat (limited to 'databases/mysqlwsrep57-server/files/patch-sql_wsrep__utils.cc')
| -rw-r--r-- | databases/mysqlwsrep57-server/files/patch-sql_wsrep__utils.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/databases/mysqlwsrep57-server/files/patch-sql_wsrep__utils.cc b/databases/mysqlwsrep57-server/files/patch-sql_wsrep__utils.cc new file mode 100644 index 000000000000..3f64304a02db --- /dev/null +++ b/databases/mysqlwsrep57-server/files/patch-sql_wsrep__utils.cc @@ -0,0 +1,10 @@ +--- sql/wsrep_utils.cc.orig 2017-06-12 10:31:29 UTC ++++ sql/wsrep_utils.cc +@@ -26,6 +26,7 @@ + #include <sql_class.h> + #include <socket_connection.h> + ++#include <signal.h> + #include <spawn.h> // posix_spawn() + #include <unistd.h> // pipe() + #include <errno.h> // errno |