Save another few bytes in cmd.c. 7668 bytes free.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/cmd.c b/src/cmd.c
index 5ca3a98..9055c33 100644
--- a/src/cmd.c
+++ b/src/cmd.c
@@ -172,7 +172,7 @@ static void do_quit(void) {
 
 static void pause(void) {
 	OS.rtclok[2] = 0;
-	while(OS.rtclok[2] < timers.hz)
+	while(OS.rtclok[2] != timers.hz)
 		/* NOP */;
 }