From 6609abea3f6ce6858de5824cb6a6e8607e412817 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sun, 13 May 2018 21:52:51 -0700
Subject: [PATCH] Don't use CLOCKS_PER_SEC for the value returned by times().

---
 src/microcode/uxenv.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/microcode/uxenv.c b/src/microcode/uxenv.c
index 70ccf5eaa..170c959a1 100644
--- 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
 }
 
-- 
2.25.1