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 | 608cf884efd9bb0ef6a308814fd22b1c8688fabf (patch) | |
| tree | 67a64a116aae6e3ca49e7eaf9a31a90f9e9ef51f /vm/vm_map.c | |
| parent | ca45d38bbf535f1dd23df9b71f85cd9c820e0e69 (diff) | |
Rework the build system
Diffstat (limited to 'vm/vm_map.c')
| -rw-r--r-- | vm/vm_map.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/vm/vm_map.c b/vm/vm_map.c index 01e0ed5d..da0b2cfd 100644 --- a/vm/vm_map.c +++ b/vm/vm_map.c @@ -697,7 +697,7 @@ vm_map_init(struct vm_map *map, struct pmap *pmap, map->pmap = pmap; } -#ifdef X15_SHELL +#ifdef X15_ENABLE_SHELL static void vm_map_shell_info(int argc, char **argv) @@ -742,7 +742,7 @@ INIT_OP_DEFINE(vm_map_setup_shell, INIT_OP_DEP(task_setup, true), INIT_OP_DEP(vm_map_setup, true)); -#endif /* X15_SHELL */ +#endif /* X15_ENABLE_SHELL */ static int __init vm_map_bootstrap(void) |