Ticket #3843: patch-time.c

File patch-time.c, 378 bytes (added by mhough@…, 19 years ago)

patch file

Line 
1--- volume_io/Prog_utils/time.c 2004-10-04 21:19:22.000000000 +0100
2+++ volume_io/Prog_utils/time.c 2005-07-03 23:33:44.000000000 +0100
3@@ -56,7 +56,7 @@
4     if( !initialized )
5     {
6         initialized = TRUE;
7-        clock_ticks_per_second = (Real) CLK_TCK;
8+        clock_ticks_per_second = (Real) sysconf ( _SC_CLK_TCK );
9     }
10 
11     return( clock_ticks_per_second );