lib/nolibc: Replace fallthrough comment marker with macro

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Rares Miculescu <miculescur@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1116

diff --git a/lib/nolibc/stdio.c b/lib/nolibc/stdio.c
index 5c4c61c06d99eac8a4d8c301057cec6b70127339..9600ca21706aa2c950dc919c1fff05ee3bfddd8b 100644 (file)
--- a/lib/nolibc/stdio.c
+++ b/lib/nolibc/stdio.c
@@ -60,6 +60,7 @@
 #include <string.h>
 #include <stdarg.h>
 
+#include <uk/essentials.h>
 #include <uk/plat/console.h>
 
 /* 64 bits + 0-Byte at end */
@@ -183,7 +184,7 @@ reswitch:
                                padc = '0';
                                goto reswitch;
                        }
-               /* fallthrough */
+                       __fallthrough;
                case '1':
                case '2':
                case '3':