diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-06-11 11:27:32 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-06-11 11:27:32 +0200 |
| commit | b135fef80cf8f9addf5725881a2fe81cda404dfe (patch) | |
| tree | 57571a9e968b277090eba9873a0ad733fea7ed06 /kern/task.c | |
| parent | cd56e2cf82938061b101cf752ce0db195c4009ed (diff) | |
Make the diagnostics shell optional
Diffstat (limited to 'kern/task.c')
| -rw-r--r-- | kern/task.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kern/task.c b/kern/task.c index d9c9f115..a5281994 100644 --- a/kern/task.c +++ b/kern/task.c @@ -64,6 +64,8 @@ task_init(struct task *task, const char *name, struct vm_map *map) strlcpy(task->name, name, sizeof(task->name)); } +#ifdef X15_SHELL + static void task_shell_info(int argc, char *argv[]) { @@ -97,6 +99,8 @@ static struct shell_cmd task_shell_cmds[] = { "print tasks and threads"), }; +#endif /* X15_SHELL */ + void __init task_setup(void) { |