Precalculate timer intervals (in config segment; client gets them preset). 6780 bytes free.

1 files changed, 2 insertions, 1 deletions

diff --git a/src/cmd.c b/src/cmd.c
index 8a59512..63838ad 100644
--- a/src/cmd.c
+++ b/src/cmd.c
@@ -8,6 +8,7 @@
 #include "edbox.h"
 #include "config.h"
 #include "streq.h"
+#include "timers.h"
 
 /* A "command" is actually anything the user types, whether or
    not it starts with a / character. */
@@ -173,7 +174,7 @@ static void do_quit(void) {
 
 static void pause(void) {
 	OS.rtclok[2] = 0;
-	while(OS.rtclok[2] < hz)
+	while(OS.rtclok[2] < timers.hz)
 		/* NOP */;
 }