• Simon Marlow's avatar
    FIX #2257: timer_settime() hangs during configure · 4c5fd95d
    Simon Marlow authored
    On a 2.6.24 Linux kernel, it appears that timer_settime() for
    CLOCK_REALTIME is sometimes hanging for a random amount of time when
    given a very small interval (we were using 1ns).  Using 1ms seems to
    be fine.  Also I installed a 1-second timeout to catch hangs in the