From 37b25da83d571cfc13792ca3e0b03f85cfae85e3 Mon Sep 17 00:00:00 2001 From: Joris Vink Date: Sat, 23 Jan 2021 11:57:20 +0100 Subject: [PATCH] Make sure kore-serve builds. --- tools/kore-serve/src/kore-serve.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/kore-serve/src/kore-serve.c b/tools/kore-serve/src/kore-serve.c index 61526d0..5ad9157 100644 --- a/tools/kore-serve/src/kore-serve.c +++ b/tools/kore-serve/src/kore-serve.c @@ -21,6 +21,7 @@ #include #include +#include #include @@ -46,8 +47,8 @@ kore_parent_configure(int argc, char *argv[]) port = "8888"; ip = "127.0.0.1"; - foreground = 1; kore_quiet = 1; + kore_foreground = 1; skip_runas = 1; skip_chroot = 1;