1
1
George Bosilca 45dcf1f5d7 Always use the best timer available
If we have better timer than clock_gettime use it, even if it an
assembly timer.
2016-09-23 19:32:58 -04:00
..
2016-06-23 11:01:00 +00:00
2015-06-23 20:59:57 -07:00
2015-06-23 20:59:57 -07:00