diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-09-02 23:03:40 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-09-02 23:03:40 +0200 |
| commit | 269e8f700939769f4dac9b413c9dc303fdd6c810 (patch) | |
| tree | 67a64a116aae6e3ca49e7eaf9a31a90f9e9ef51f /vm/vm_page.c | |
| parent | 8a24859abcacf35471a7c84634300707ab5aa541 (diff) | |
Rework the build system
Diffstat (limited to 'vm/vm_page.c')
| -rw-r--r-- | vm/vm_page.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vm/vm_page.c b/vm/vm_page.c index 19f6f4b..cc6963f 100644 --- a/vm/vm_page.c +++ b/vm/vm_page.c @@ -657,7 +657,7 @@ vm_page_info_common(int (*print_fn)(const char *format, ...)) } } -#ifdef X15_SHELL +#ifdef X15_ENABLE_SHELL static void vm_page_info(void) @@ -691,7 +691,7 @@ INIT_OP_DEFINE(vm_page_setup_shell, INIT_OP_DEP(shell_setup, true), INIT_OP_DEP(vm_page_setup, true)); -#endif /* X15_SHELL */ +#endif /* X15_ENABLE_SHELL */ static int __init vm_page_setup(void) |