From 814f361e8bc17c7c7cb59694534f81e0a84c969b Mon Sep 17 00:00:00 2001 From: shockrah Date: Sat, 2 May 2020 20:43:50 -0700 Subject: [PATCH] compile time tseting flags available in kernel_main --- kernel.c | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/kernel.c b/kernel.c index 04071fd..c36ffec 100644 --- a/kernel.c +++ b/kernel.c @@ -6,15 +6,21 @@ #include "kbd.h" #include "stlio.h" #include "mem.h" -#include "tests.h" -#include "shell.h" + +#ifdef TESTING + #include "tests.h" +#endif + +#include "jank-shell/shell.h" void kinit() { //gdt_configure(); init_idt(); pit_install_timer(); kbd_install_keyboard(); +#ifdef TESTING test_dispatcher(); +#endif }