Don't use SIGEMT; it is not portable

diff --git a/util/grind/commands.g b/util/grind/commands.g
index d2afb7b..2fbabeb 100644 (file)
--- a/util/grind/commands.g
+++ b/util/grind/commands.g
@@ -646,7 +646,7 @@ catch_del()
 {
   signal(SIGINT, catch_del);
   if (! disable_intr) {
-       signal_child(SIGEMT);
+       signal_child(7);
        child_interrupted = 1;
   }
   interrupted = 1;