diff --git a/Shell/main.cpp b/Shell/main.cpp index ffe4f550ef..2015d54af9 100644 --- a/Shell/main.cpp +++ b/Shell/main.cpp @@ -405,14 +405,7 @@ static int run_command(const String& cmd) return WEXITSTATUS(wstatus); } else { if (WIFSIGNALED(wstatus)) { - switch (WTERMSIG(wstatus)) { - case SIGINT: - printf("Interrupted\n"); - break; - default: - printf("Terminated by signal %d\n", WTERMSIG(wstatus)); - break; - } + puts(strsignal(WTERMSIG(wstatus))); } else { printf("Exited abnormally\n"); return 1;