1 files changed, 13 insertions, 0 deletions
diff --git a/dbug/sanity.c b/dbug/sanity.c
new file mode 100644
index 00000000000..d287a468028
--- /dev/null
+++ b/dbug/sanity.c
@@ -0,0 +1,13 @@
+/* Declarate _sanity() if not declared in main program */
+
+#include <global.h>
+
+extern int _sanity(const char *file,uint line);
+
+#if defined(SAFEMALLOC) && !defined(MASTER)	/* Avoid errors in MySQL */
+int _sanity(const char * file __attribute__((unused)),
+            uint line __attribute__((unused)))
+{
+  return 0;
+}
+#endif