diff options
| -rw-r--r-- | kern/bootstrap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/bootstrap.c b/kern/bootstrap.c index 03f4f0f6..cb0f9765 100644 --- a/kern/bootstrap.c +++ b/kern/bootstrap.c @@ -736,6 +736,7 @@ boot_script_exec_cmd (void *hook, task_t task, char *path, int argc, simple_lock (&info.lock); } simple_unlock (&info.lock); + thread_deallocate (thread); printf ("\n"); } |