--- ../kaffe/kaffe/kaffevm/readClass.c	Fri May 31 15:28:41 2002
+++ kaffe/kaffevm/readClass.c	Fri May 31 15:57:01 2002
@@ -13,6 +13,7 @@
 #include "config-std.h"
 #include "config-io.h"
 #include "config-mem.h"
+#include "debug.h"
 #include "gtypes.h"
 #include "file.h"
 #include "access.h"
--- ../kaffe/kaffe/kaffevm/debug.c	Fri May 31 15:28:40 2002
+++ kaffe/kaffevm/debug.c	Fri May 31 16:21:19 2002
@@ -37,6 +37,7 @@
 
 void dbgSetMask(debugmask_t m) { }
 int dbgSetMaskStr(const char *s) { return 0; }
+int kaffe_dprintf(const char *fmt, ...){ return 0; }
 
 #else /* Actually define the functions */
 /* --- Debugging is enabled --- */