X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.c;h=f627e31248d69c1398739bd369307ec94dcd86fc;hb=6417b81fb2d5665471ba9fadd180ed1ddeb29246;hp=063ae9366bf119697c97f9da780b85d68649c279;hpb=8f7af0acaf8a9253242d89fcdb26e285841f7833;p=pspp

diff --git a/src/output/driver.c b/src/output/driver.c
index 063ae9366b..f627e31248 100644
--- a/src/output/driver.c
+++ b/src/output/driver.c
@@ -366,6 +366,12 @@ output_log (const char *format, ...)
   char *s = xvasprintf (format, args);
   va_end (args);
 
+  output_log_nocopy (s);
+}
+
+void
+output_log_nocopy (char *s)
+{
   output_submit (text_item_create_nocopy (TEXT_ITEM_LOG, s, NULL));
 }