diff options
| -rw-r--r-- | c++tools/server.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/c++tools/server.cc b/c++tools/server.cc index 6457dc5..8514ef6 100644 --- a/c++tools/server.cc +++ b/c++tools/server.cc @@ -213,7 +213,8 @@ static void ATTRIBUTE_NORETURN ATTRIBUTE_COLD crash_signal (int sig) { signal (sig, SIG_DFL); - internal_error ("signal %s", strsignal (sig)); + // strsignal is not portable :( + internal_error ("signal %d", sig); } /* A fatal error of some kind. */ |