Add stdio.h to db.h

git-svn-id: file:///svn/tokudb@461 c7de825b-a66e-492c-adef-691d508d4ae1

buildheader/db.h_4_1

@@ -2,6 +2,8 @@
 #define _DB_H
 /* This code generated by make_db_h.   Copyright (c) 2007 Tokutek */
 #include <sys/types.h>
+/*stdio is needed for the FILE* in db->verify*/
+#include <stdio.h>
 #if defined(__cplusplus)
 extern "C" {
 #endif

buildheader/db.h_4_3

@@ -2,6 +2,8 @@
 #define _DB_H
 /* This code generated by make_db_h.   Copyright (c) 2007 Tokutek */
 #include <sys/types.h>
+/*stdio is needed for the FILE* in db->verify*/
+#include <stdio.h>
 #if defined(__cplusplus)
 extern "C" {
 #endif

buildheader/make_db_h.c

@@ -170,6 +170,8 @@ int main (int argc __attribute__((__unused__)), char *argv[] __attribute__((__un
     printf("#define _DB_H\n");
     printf("/* This code generated by make_db_h.   Copyright (c) 2007 Tokutek */\n");
     printf("#include <sys/types.h>\n");
+    printf("/*stdio is needed for the FILE* in db->verify*/\n");
+    printf("#include <stdio.h>\n");
     //printf("#include <inttypes.h>\n");
     printf("#if defined(__cplusplus)\nextern \"C\" {\n#endif\n");