diff options
author | dzwdz | 2021-10-04 21:37:20 +0200 |
---|---|---|
committer | dzwdz | 2021-10-04 21:37:20 +0200 |
commit | bb2c65663dd03aaf1948c36c7e6006af7e3840a6 (patch) | |
tree | 105cfd3dfb1ac75cc6a8829f22a1f49a341f427c /src | |
parent | 33ef18732abb1ec03469b7c0fe271a6599318682 (diff) |
remove unused variables in process_try2collect
Diffstat (limited to 'src')
-rw-r--r-- | src/kernel/proc.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/kernel/proc.c b/src/kernel/proc.c index 47fd2ec..17af0cd 100644 --- a/src/kernel/proc.c +++ b/src/kernel/proc.c @@ -111,8 +111,7 @@ void process_kill(struct process *proc, int ret) { int process_try2collect(struct process *dead) { struct process *parent = dead->parent; - int len, ret; - bool res; + int ret; assert(dead->state == PS_DEAD); |