Re: timer_create

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