Fix RPM make failed

2021-08-11 17:22:03 +08:00
parent cd7e9ba191
commit fadee2ca78
4 changed files with 39 additions and 32 deletions
--- a/src/rootserver/ob_server_manager.cpp
+++ b/src/rootserver/ob_server_manager.cpp
@ -14,6 +14,7 @@

 #include "ob_server_manager.h"

+#include "observer/ob_server.h"
 #include "share/ob_define.h"
 #include "lib/container/ob_array_iterator.h"
 #include "share/ob_debug_sync.h"