master 302e6d4 1/2: Remove a pointless check for WCOREDUMPED.

[Philipp Stephani]

branch: master
commit 302e6d4623d6f87789c055717490799c1f2ec015
Author: Philipp Stephani <phst@google.com>
Commit: Philipp Stephani <phst@google.com>

    Remove a pointless check for WCOREDUMPED.
    
    WCOREDUMPED can only be used if the process was killed.
    
    * src/process.c (status_convert): Don't check WCOREDUMPED if
    WIFEXITED.
---
 src/process.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/process.c b/src/process.c
index 67e930e..dac7d04 100644
--- a/src/process.c
+++ b/src/process.c
@@ -692,8 +692,7 @@ status_convert (int w)
   if (WIFSTOPPED (w))
     return Fcons (Qstop, Fcons (make_fixnum (WSTOPSIG (w)), Qnil));
   else if (WIFEXITED (w))
-    return Fcons (Qexit, Fcons (make_fixnum (WEXITSTATUS (w)),
-                               WCOREDUMP (w) ? Qt : Qnil));
+    return Fcons (Qexit, Fcons (make_fixnum (WEXITSTATUS (w)), Qnil));
   else if (WIFSIGNALED (w))
     return Fcons (Qsignal, Fcons (make_fixnum (WTERMSIG (w)),
                                  WCOREDUMP (w) ? Qt : Qnil));