Use clock_gettime (if available) to measure the process CPU time
[ghc-hetmet.git] / rts / WSDeque.c
2009-08-02 Simon MarlowRTS tidyup sweep, first phase