diff options
Diffstat (limited to 'config/auto-aux/signals.c')
| -rw-r--r-- | config/auto-aux/signals.c | 68 |
1 files changed, 0 insertions, 68 deletions
diff --git a/config/auto-aux/signals.c b/config/auto-aux/signals.c deleted file mode 100644 index df0a8b0b50..0000000000 --- a/config/auto-aux/signals.c +++ /dev/null @@ -1,68 +0,0 @@ -/***********************************************************************/ -/* */ -/* Objective Caml */ -/* */ -/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ -/* */ -/* Copyright 1996 Institut National de Recherche en Informatique et */ -/* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License, with */ -/* the special exception on linking described in file ../../LICENSE. */ -/* */ -/***********************************************************************/ - -/* $Id$ */ - -/* To determine the semantics of signal handlers - (System V: signal is reset to default behavior on entrance to the handler - BSD: signal handler remains active). */ - -#include <stdio.h> -#include <signal.h> - -/* Find a signal that is ignored by default */ - -#ifdef SIGCHLD -#define IGNSIG SIGCHLD -#else -#ifdef SIGIO -#define IGNSIG SIGIO -#else -#ifdef SIGCLD -#define IGNSIG SIGCLD -#else -#ifdef SIGPWR -#define IGNSIG SIGPWR -#endif -#endif -#endif -#endif - -#ifdef IGNSIG - -int counter; - -void sig_handler(int dummy) -{ - counter++; -} - -int main(int argc, char **argv) -{ - signal(IGNSIG, sig_handler); - counter = 0; - kill(getpid(), IGNSIG); - kill(getpid(), IGNSIG); - return (counter == 2 ? 0 : 1); -} - -#else - -/* If no suitable signal was found, assume System V */ - -int main(int argc, char ** argv) -{ - return 1; -} - -#endif |