From b117dee07be895df9f5def4dd8b0d3d3c204bd7c Mon Sep 17 00:00:00 2001
From: Xnoe <xnoe@xnoe.moe>
Date: Wed, 13 Oct 2021 12:13:51 +0100
Subject: [PATCH] Hopefully fix compilation error encountered on Debian 10 GCC

---
 src/kernel/screenstuff.c | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/src/kernel/screenstuff.c b/src/kernel/screenstuff.c
index 6d0a0c9..61592fc 100644
--- a/src/kernel/screenstuff.c
+++ b/src/kernel/screenstuff.c
@@ -121,25 +121,29 @@ void printf(const char* string, ...) {
       int type = string[index++];
       int offset;
       switch (type) {
-        case 'd':
+        case 'd': {
           char decimal_buffer[11];
           offset = int_to_decimal(va_arg(ptr, int), decimal_buffer);
           printf(decimal_buffer + offset);
           break;
-        case 'x':
+        }
+        case 'x': {
           char hex_buffer[8];
           offset = int_to_hex(va_arg(ptr, int), hex_buffer);
           printf(hex_buffer);
           break;
-        case 's':
+        }
+        case 's': {
           printf(va_arg(ptr, const char*));
           break;
-        case 'c':
+        }
+        case 'c': {
           int mem_pos = cursor_y * TERM_WIDTH + cursor_x++;
           int promoted = va_arg(ptr, int);
           char charred = promoted;
           VMEM_ADDR[mem_pos] = charred + (0x07<<8);
           break;
+        }
       }
       continue;
     }