socz80: switch to static tty buffers

diff --git a/Kernel/platform-socz80/devtty.c b/Kernel/platform-socz80/devtty.c
index 992f239..f161018 100644 (file)
--- a/Kernel/platform-socz80/devtty.c
+++ b/Kernel/platform-socz80/devtty.c
@@ -6,8 +6,8 @@
 #include <devtty.h>
 
 
-char tbuf1[TTYSIZ];
-char tbuf2[TTYSIZ];
+static char tbuf1[TTYSIZ];
+static char tbuf2[TTYSIZ];
 
 struct  s_queue  ttyinq[NUM_DEV_TTY+1] = {       /* ttyinq[0] is never used */
     {   NULL,    NULL,    NULL,    0,        0,       0    },
@@ -32,7 +32,7 @@ tcflag_t *termios_mask[NUM_DEV_TTY + 1] = {
 /* console helper */
 void kputchar(char c)
 {
-    /* handle CRLF */
+    /* Handle CRLF */
     if(c=='\n')
         tty_putc(1, '\r');
     tty_putc(1, c);