[m-rev.] diff: remove SIGIOT from deep_profiler/timeout.m

[Tyson Dowd]

Hi,

I suspect SIGIOT isn't important enough to bother autoconfiguring around
this, but if anyone has objections...  

===================================================================


Estimated hours taken: 0.5
Branches: main

deep_profiler/timeout.m:
	Remove SIGIOT from the "widely portable subset" of signals, it appears 
	that Cygwin doesn't support it at present.  


Index: deep_profiler/timeout.m
===================================================================
RCS file: /home/mercury1/repository/mercury/deep_profiler/timeout.m,v
retrieving revision 1.1.4.2
diff -u -r1.1.4.2 timeout.m
--- deep_profiler/timeout.m	2001/07/06 08:31:52	1.1.4.2
+++ deep_profiler/timeout.m	2001/07/06 15:20:12
@@ -61,7 +61,7 @@
 extern	char		*MP_timeout_file2;
 extern	char		*MP_timeout_file3;
 
-#define	MDPROF_NUM_SIGNAL_NUMBERS	12
+#define	MDPROF_NUM_SIGNAL_NUMBERS	11
 
 extern	const int	signal_numbers[MDPROF_NUM_SIGNAL_NUMBERS];
 
@@ -99,7 +99,6 @@
 
 	SIGILL,
 	SIGABRT,
-	SIGIOT,
 	SIGBUS,
 	SIGFPE,
 


-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------