Simplified log_spacer() code

diff --git a/kernel/log.cc b/kernel/log.cc
index b3033024f6a1ebe0ce56b5ee3721272a211b0a10..cd16bb3449a73a7755f9338a3a7a62ea008c28c8 100644 (file)
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -289,12 +289,8 @@ void log_cmd_error(const char *format, ...)
 
 void log_spacer()
 {
-       while (log_newline_count < 2) {
-               int old_log_newline_count = log_newline_count;
-               log("\n");
-               if (old_log_newline_count >= log_newline_count)
-                       break;
-       }
+       if (log_newline_count < 2) log("\n");
+       if (log_newline_count < 2) log("\n");
 }
 
 void log_push()