X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Futilities%2Fhost.c;h=d730e02634860e4286a7ca245e45bc810394ed9a;hb=fedd5a603d218f4f77f1a5d67676a9d0de489bc4;hp=5273a8918b5a211bfd9ea2d18c910e365e7c2eaf;hpb=74d1d464218614c901721de65a11b231e4f8d38e;p=pspp

diff --git a/src/language/utilities/host.c b/src/language/utilities/host.c
index 5273a8918b..d730e02634 100644
--- a/src/language/utilities/host.c
+++ b/src/language/utilities/host.c
@@ -261,7 +261,7 @@ run_command (const char *command, struct timespec timeout)
       if (end > output && end[-1] == '\n')
         end[-1] = '\0';
 
-      output_log ("%s", output);
+      output_log_nocopy (output);
     }
   free (locale_output);