From: David Lichteblau <david@lichteblau.com>
Date: Tue, 18 Sep 2012 15:11:09 +0000 (+0200)
Subject: Minor repair work around odxprint
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=89d479da5c74575f21a52af0055e8f6dd85edc30;p=sbcl.git

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
--- 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, ...)
 {