From 5b72220ba4611a4cbbdef1c0f73aa4d68d1815c2 Mon Sep 17 00:00:00 2001 From: hanhainebula <2512674094@qq.com> Date: Sun, 3 Jul 2022 09:24:59 +0800 Subject: [PATCH] fix some errors in kconfig --- Kconfig | 4 ++-- core/src/config.rs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Kconfig b/Kconfig index 6ffe468..ecc2281 100644 --- a/Kconfig +++ b/Kconfig @@ -20,7 +20,7 @@ menu "Memory and CPU Configuration" int "the maximum size of open files" default 1024 - config PIPE_FILES + config PIPE_SIZE int "the maximum size of pipe files" default 4096 @@ -39,7 +39,7 @@ menu "Memory and CPU Configuration" int "the main stack size(B)" default 65536 - config PAGE_SZIE + config PAGE_SIZE int "the page size(B)" default 4096 endmenu diff --git a/core/src/config.rs b/core/src/config.rs index d0ab397..534094c 100644 --- a/core/src/config.rs +++ b/core/src/config.rs @@ -7,5 +7,5 @@ #[cfg(__runikraft_custom_config)] include!{env!("RUNIKRAFT_CONFIG_FILE")} -#[cfg(not(feature="custom_config"))] +#[cfg(not(__runikraft_custom_config))] include!{"../../default_config.rs"}