diff --git a/src/initkbd.c b/src/initkbd.c
index 3b891cd..0cf55b0 100644
--- a/src/initkbd.c
+++ b/src/initkbd.c
@@ -425,8 +425,10 @@ void keyboardtype(int fd)
   int i;
   char *key;
 
+#if defined(OS4)
   for (i = 0; i < 5000; i++) { /* IDLE LOOP */
   }                            /* because of a SunOS bug */
+#endif
 
   /* clear the keyboard field in devconfig */
   InterfacePage->devconfig &= 0xfff8;