From 88a84fc31006fc05436528a3dcfe5a7ab7910262 Mon Sep 17 00:00:00 2001
From: Claudio Maggioni <maggicl@usi.ch>
Date: Mon, 18 May 2020 17:17:58 +0200
Subject: [PATCH] hw4: only wait-killed and exec-missing fail

---
 pintos-env/pintos/userprog/syscall.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pintos-env/pintos/userprog/syscall.c b/pintos-env/pintos/userprog/syscall.c
index cfd5b0b..d49df82 100755
--- a/pintos-env/pintos/userprog/syscall.c
+++ b/pintos-env/pintos/userprog/syscall.c
@@ -72,7 +72,7 @@ sys_exit (int status)
 int
 sys_wait (tid_t tid)
 {
-  printf("system call wait\n");
+  //printf("system call wait\n");
   int status = process_wait(tid);
   //printf("wait has returned status(%d)\n", status);
   return status;