X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;fp=src%2Fthreads%2Finit.c;h=8af05ece005e629237e3cd459560369e4cab4ca7;hp=a624ef57edf02a2b3aa7b392e5a4fc37abded034;hb=926e47d289d06a6bc9ae03029199cf736a78911e;hpb=0db48366884f3d6418217b926c4febc1bc2a3c13

diff --git a/src/threads/init.c b/src/threads/init.c
index a624ef5..8af05ec 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -219,7 +219,10 @@ read_command_line (void)
   /* Print kernel command line. */
   printf ("Kernel command line:");
   for (i = 0; i < argc; i++)
-    printf (" %s", argv[i]);
+    if (strchr (argv[i], ' ') == NULL)
+      printf (" %s", argv[i]);
+    else
+      printf (" '%s'", argv[i]);
   printf ("\n");
 
   return argv;