[m-rev.] diff: undefined reference to kill on mingw

[Peter Wang]

Branches: main

compiler/process_util.m:
	Wrap a use of kill() with MR_HAVE_KILL (bug 107).

diff --git a/compiler/process_util.m b/compiler/process_util.m
index 5fd42c8..2f79e12 100644
--- a/compiler/process_util.m
+++ b/compiler/process_util.m
@@ -311,7 +311,9 @@ raise_signal(_::in, IO::di, IO::uo).
     [will_not_call_mercury, promise_pure, tabled_for_io],
 "
     IO = IO0;
+#ifdef MR_HAVE_KILL
     kill(Pid, Signal);
+#endif
 ").
 
 :- pragma foreign_proc("C",

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------