diff --git a/.gitignore b/.gitignore index c95d2ee..e9979c4 100644 --- a/.gitignore +++ b/.gitignore @@ -11,3 +11,4 @@ docs *.res compile_commands.json .cache +.ccls-cache diff --git a/kernel/src/cap_monitor.c b/kernel/src/cap_monitor.c index 30fca69..7e655c1 100644 --- a/kernel/src/cap_monitor.c +++ b/kernel/src/cap_monitor.c @@ -58,7 +58,6 @@ err_t cap_monitor_yield(cte_t mon, pid_t pid, proc_t **next) { err_t err = check_monitor(mon, pid, false); if (!err) { - proc_t *monitor = *next; proc_t *proc = proc_get(pid); if (proc_acquire(proc)) { *next = proc;