Minor repair work around odxprint

Fixes the build on SunOS.

diff --git a/src/runtime/print.c b/src/runtime/print.c
index 9a7a3c6..33c5489 100644 (file)
--- a/src/runtime/print.c
+++ b/src/runtime/print.c
@@ -27,6 +27,7 @@
 #include <stdarg.h>
 #include "thread.h"              /* genesis/primitive-objects.h needs this */
 #include <errno.h>
+#include <stdlib.h>
 
 /* FSHOW and odxprint provide debugging output for low-level information
  * (signal handling, exceptions, safepoints) which is hard to debug by
@@ -125,6 +126,8 @@ dyndebug_init()
  * be restored to its full win32 branch functionality, where output to a
  * file or to the debugger can be selected at runtime. */
 
+void vodxprint_fun(const char *, va_list);
+
 void
 odxprint_fun(const char *fmt, ...)
 {