X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fshell.c;h=7b9570ac9d564df88b3aef8c71d14600b1a481e6;hb=f60a685f8a2308f53fa063deb632dcec2354e19d;hp=905e18b0275570ce2f678cc9d87b8f72ee84bc03;hpb=04c55108f55f8a6f4a31a5085151bb729635ff8e;p=pintos-anon

diff --git a/src/tests/userprog/shell.c b/src/tests/userprog/shell.c
index 905e18b..7b9570a 100644
--- a/src/tests/userprog/shell.c
+++ b/src/tests/userprog/shell.c
@@ -23,6 +23,12 @@ main (void)
       
       /* Execute command. */
       if (cp > command) 
-        join (exec (command));
+        {
+          pid_t pid = exec (command);
+          if (pid != PID_ERROR)
+            join (pid);
+          else
+            printf ("exec failed\n");
+        }
     }
 }