Use pthread_kill on OS X too
authorIan Lynagh <ian@well-typed.com>
Thu, 17 Jan 2013 19:21:24 +0000 (19:21 +0000)
committerIan Lynagh <ian@well-typed.com>
Thu, 17 Jan 2013 19:25:05 +0000 (19:25 +0000)
commitef1604f25607d237ba81a70bc7ec3db7ebb5c2da
tree30ac5ff17cf9fe0c741612c38f0bb4d70767cd68
parent4eb45c884a3f8274b7561ade70878bc07772bd1d
Use pthread_kill on OS X too

Fixes signals004(threaded1,threaded2) on OS X 32.
System/Posix/Signals.hsc