-
WCOREDUMP is not a separate "mode" as suggested by the previous code to interpret wait status: instead, it is an extra bit of information if the "mode" is WIFSIGNALED. (Modified by Philip Withnall to fix a nitpick missing space.) https://bugzilla.gnome.org/show_bug.cgi?id=748534
9c8c6094