diff options
| author | Sergei Golubchik <serg@mysql.com> | 2008-08-29 06:41:19 +0200 |
|---|---|---|
| committer | Sergei Golubchik <serg@mysql.com> | 2008-08-29 06:41:19 +0200 |
| commit | 8a254825790e23c78a3b8f2bb0cd42d79d0fc997 (patch) | |
| tree | 1c48f69ef13e097c7d3f6ff985cbb042c1d414a5 /server-tools | |
| parent | 4be86917fe47645cae08b8e0e9c59da25c8d8e3e (diff) | |
| download | mariadb-git-8a254825790e23c78a3b8f2bb0cd42d79d0fc997.tar.gz | |
fix compilation failure
Diffstat (limited to 'server-tools')
| -rw-r--r-- | server-tools/instance-manager/thread_registry.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server-tools/instance-manager/thread_registry.cc b/server-tools/instance-manager/thread_registry.cc index 489caa0aaa8..087f16dc956 100644 --- a/server-tools/instance-manager/thread_registry.cc +++ b/server-tools/instance-manager/thread_registry.cc @@ -21,6 +21,7 @@ #include <thr_alarm.h> #include <signal.h> #include "log.h" +#include <my_sys.h> #ifndef __WIN__ /* Kick-off signal handler */ |