diff --git a/src/racket/src/port.c b/src/racket/src/port.c index 96e24e9bea..f2c1e62f13 100644 --- a/src/racket/src/port.c +++ b/src/racket/src/port.c @@ -6886,6 +6886,8 @@ static void check_child_done(pid_t pid) START_XFORM_SKIP; if (WIFEXITED(status)) status = WEXITSTATUS(status); + else if (WIFSIGNALED(status)) + status = WTERMSIG(status) + 128; else status = MZ_FAILURE_STATUS; END_XFORM_SKIP;