diff options
-rw-r--r-- | Shell/Shell.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Shell/Shell.cpp b/Shell/Shell.cpp index afd227e509..c70b982413 100644 --- a/Shell/Shell.cpp +++ b/Shell/Shell.cpp @@ -1564,7 +1564,6 @@ void Shell::notify_child_event() if (errno == ECHILD) { // The child process went away before we could process its death, just assume it exited all ok. // FIXME: This should never happen, the child should stay around until we do the waitpid above. - dbgln("Child process gone, cannot get exit code for {}", job_id); child_pid = job.pid(); } else { ASSERT_NOT_REACHED(); |