Skip to content
Browse files

Minor repair work around odxprint

Fixes the build on SunOS.
  • Loading branch information...
1 parent 87c62da commit 89d479da5c74575f21a52af0055e8f6dd85edc30 @lichtblau lichtblau committed Sep 18, 2012
Showing with 3 additions and 0 deletions.
  1. +3 −0 src/runtime/print.c
View
3 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, ...)
{

0 comments on commit 89d479d

Please sign in to comment.
Something went wrong with that request. Please try again.