X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Fdriver.c;h=f627e31248d69c1398739bd369307ec94dcd86fc;hb=bb4f63c29bd0682115e5708332289423685b30a8;hp=063ae9366bf119697c97f9da780b85d68649c279;hpb=eabbb256e4a0fb5e434b42624afb61a69b8df165;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));
 }