X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Futilities%2Fhost.c;fp=src%2Flanguage%2Futilities%2Fhost.c;h=d730e02634860e4286a7ca245e45bc810394ed9a;hb=f9ac3d529c7826e351d48cec2e14780b7e3bca4d;hp=477f9796a01ac519d91c684b78a3fa53032f7ff0;hpb=bc0434f1ced83fc3a5f5ace44cbad3acdc5e3e29;p=pspp

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