diff options
| -rw-r--r-- | server-tools/instance-manager/instance.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server-tools/instance-manager/instance.cc b/server-tools/instance-manager/instance.cc index f5effe68c64..00fcf6c3a98 100644 --- a/server-tools/instance-manager/instance.cc +++ b/server-tools/instance-manager/instance.cc @@ -27,6 +27,7 @@ #include <sys/wait.h> #include <my_sys.h> +#include <signal.h> #include <m_string.h> #include <mysql.h> |