Don't use CLOCKS_PER_SEC for the value returned by times().

diff --git a/src/microcode/uxenv.c b/src/microcode/uxenv.c
index 70ccf5eaa57912be70d113e1c86614f3c0b7e445..170c959a1b5df823979e8dc8e77da0dd8674e590 100644 (file)
--- a/src/microcode/uxenv.c
+++ b/src/microcode/uxenv.c
@@ -516,7 +516,7 @@ OS_jiffies_per_second (void)
 #ifdef __APPLE__
   return (CLK_TCK);
 #else
-  return (CLOCKS_PER_SEC);
+  return (UX_SC_CLK_TCK ());
 #endif
 }