X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Ffatal-signal.c;h=a6ce1b78c9a3eb949851c7f6cf9404a8bcbcf873;hb=c2b565b54e36bc33d0406afb225c9bf3d01405ef;hp=c7e87dbe9fbca7bfb976f0bc921620efcaf508c5;hpb=279c9e030818e039bb1c26be76e2cc1e8f6b13a6;p=openvswitch

diff --git a/lib/fatal-signal.c b/lib/fatal-signal.c
index c7e87dbe..a6ce1b78 100644
--- a/lib/fatal-signal.c
+++ b/lib/fatal-signal.c
@@ -32,6 +32,12 @@
 #include "util.h"
 #include "vlog.h"
 
+#include "type-props.h"
+
+#ifndef SIG_ATOMIC_MAX
+#define SIG_ATOMIC_MAX TYPE_MAXIMUM(sig_atomic_t)
+#endif
+
 VLOG_DEFINE_THIS_MODULE(fatal_signal);
 
 /* Signals to catch. */