# HG changeset patch
# User jwe
# Date 815417085 0
# Node ID 14d95b8282d70e0bbc21d0b4c535a644295858cf
# Parent  ac7e10016ca0e15f575a56e39a0b86084fccb1a7
[project @ 1995-11-03 16:44:45 by jwe]

diff -r ac7e10016ca0 -r 14d95b8282d7 libcruft/misc/dostop.c
--- a/libcruft/misc/dostop.c	Fri Nov 03 15:26:11 1995 +0000
+++ b/libcruft/misc/dostop.c	Fri Nov 03 16:44:45 1995 +0000
@@ -25,10 +25,6 @@
 #include "config.h"
 #endif
 
-#include <sys/types.h>
-#ifdef HAVE_UNISTD_H
-#include <unistd.h>
-#endif
 #include <signal.h>
 #include <stdlib.h>
 
@@ -52,7 +48,7 @@
 dostop (void)
 #endif
 {
-  kill (getpid (), SIGINT);
+  raise (SIGINT);
   abort ();
 }