On Wednesday, January 25, 2012 3:33:58 PM UTC-8, Volker Braun wrote:
>
> Unless there is any marked benefit to using the high-resolution timer its 
> probably best to just #define HAVE_CLOCK_GETTIME 1 in config.h after 
> running configure.


Should be #define HAVE_CLOCK_GETTIME 0

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to