X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=9130a230084b07d41ac3b8826f5bb26d5d895226;hb=41792464296d4ea9393adff3eea7bef514655cba;hp=fff2a73050021ab638751b0755c8b0df2fdf9e3d;hpb=b67b2b0ab6f472767ed68c9b874ad3fed0b637c1;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index fff2a730..9130a230 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -152,14 +152,14 @@ fatal_signal_handler(int sig_nr)
 void
 fatal_signal_run(void)
 {
-    int sig_nr;
+    sig_atomic_t sig_nr;
 
     fatal_signal_init();
 
     sig_nr = stored_sig_nr;
     if (sig_nr != SIG_ATOMIC_MAX) {
         VLOG_WARN("terminating with signal %d (%s)",
-                  sig_nr, signal_name(sig_nr));
+                  (int)sig_nr, signal_name(sig_nr));
         call_hooks(sig_nr);
 
         /* Re-raise the signal with the default handling so that the program