From 6ae99454da649289e71212d663b866c6af2691c3 Mon Sep 17 00:00:00 2001
From: Tomoki Shirasawa <sira@popeye.cc.u-tokyo.ac.jp>
Date: Thu, 15 Oct 2015 06:51:41 +0900
Subject: [PATCH] delete debug print

---
 executer/user/mcexec.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index 6a0aeba4..1555d207 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -1823,7 +1823,6 @@ fork_child_sync_pipe:
 				
 			    /* Parent */
 			    default:
-fprintf(stderr, "fork %d->%d\n", getpid(), pid);
 				fs->pid = pid;
 				while ((rc = sem_trywait(&fs->sem)) == -1 && (errno == EAGAIN || errno == EINTR)) {
 					int st;
@@ -1872,7 +1871,6 @@ fork_err:
 			siginfo_t info;
 			int opt;
 
-fprintf(stderr, "wait4: pid=%d\n", pid);
 			opt = WEXITED | (options & WNOWAIT);
 			memset(&info, '\0', sizeof info);
 			while((ret = waitid(P_PID, pid, &info, opt)) == -1 &&