Use pthread_kill on OS X too
authorIan Lynagh <ian@well-typed.com>
Thu, 17 Jan 2013 19:23:17 +0000 (19:23 +0000)
committerIan Lynagh <ian@well-typed.com>
Thu, 17 Jan 2013 19:26:09 +0000 (19:26 +0000)
commit802638227108f909a6d6d66e700983a5b5f442c2
treeb3e68a07c96f339e9138959bf0fd1e3ebcc0437f
parent9c1edfa84dfd8e6b2441c8d8558f3471ea9a6628
Use pthread_kill on OS X too

Fixes signals004(threaded1,threaded2) on OS X 32.
rts/RtsUtils.c