From: Ben Pfaff <blp@gnu.org>
Date: Wed, 25 Apr 2007 15:59:20 +0000 (+0000)
Subject: Don't use type sighandler_t, which is a GNU extension.  Reported by
X-Git-Tag: v0.6.0~478
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8d41a603943ad04b925f99336e59b4bcbe2fafd9;p=pspp-builds.git

Don't use type sighandler_t, which is a GNU extension.  Reported by
"Daniel E WILLIAMS" <Daniel.E.Williams@state.or.us>.
---

diff --git a/src/libpspp/ChangeLog b/src/libpspp/ChangeLog
index 4d3df135..9050f18f 100644
--- a/src/libpspp/ChangeLog
+++ b/src/libpspp/ChangeLog
@@ -1,3 +1,9 @@
+2007-04-25  Ben Pfaff  <blp@gnu.org>
+
+	* model-checker.c: Don't use type sighandler_t, which is a GNU
+	extension.  Reported by "Daniel E WILLIAMS"
+	<Daniel.E.Williams@state.or.us>.
+
 2007-04-25 John Darrington <john@darrington.wattle.id.au>
 
 	* i18n.c: Fixed bug converting long strings
diff --git a/src/libpspp/model-checker.c b/src/libpspp/model-checker.c
index cd83b399..b42f1e53 100644
--- a/src/libpspp/model-checker.c
+++ b/src/libpspp/model-checker.c
@@ -890,7 +890,7 @@ struct mc
     /* Information for handling and restoring SIGINT. */
     bool interrupted;                   /* SIGINT received? */
     bool *saved_interrupted_ptr;        /* Saved value of interrupted_ptr. */
-    sighandler_t saved_sigint;          /* Saved SIGINT handler. */
+    void (*saved_sigint) (int);         /* Saved SIGINT handler. */
   };
 
 /* A state in the queue. */