timer_create

[Christian Maeder]

Simon Marlow wrote:
> Unfortunately this means that taking a GHC binary built on a newer Linux
> will not work on an older version.

Do you know by chance which linux library (or rpm package) needs to be
updated (if I run such an old version)?

> timer_create() is needed so that we can avoid needing to use the SIGALRM
> signal, which interferes with other things (there are previous tickets
> on this, a search for SIGALRM should turn them up).

Yes, Thanks
Christian