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/thread.c | |
| parent | cd56e2cf82938061b101cf752ce0db195c4009ed (diff) | |
Make the diagnostics shell optional
Diffstat (limited to 'kern/thread.c')
| -rw-r--r-- | kern/thread.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/kern/thread.c b/kern/thread.c index a753eb59..dd0d709f 100644 --- a/kern/thread.c +++ b/kern/thread.c @@ -2229,6 +2229,8 @@ thread_setup_runq(struct thread_runq *runq) thread_setup_idler(runq); } +#ifdef X15_SHELL + /* * This function is meant for debugging only. As a result, it uses a weak * locking policy which allows tracing threads which state may mutate during @@ -2279,6 +2281,8 @@ static struct shell_cmd thread_shell_cmds[] = { "print the stack trace of a given thread"), }; +#endif /* X15_SHELL */ + void __init thread_setup(void) { |