Changeset 18b6a88 in mainline for kernel/generic/src/proc/scheduler.c

Timestamp:

2018-04-15T09:35:04Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c1f44ca

Parents:

8ebe212

Message:

More ccheck fixes, sometimes with manual intervention.

File:

• kernel/generic/src/proc/scheduler.c (modified) (1 diff)

kernel/generic/src/proc/scheduler.c

@@ -430 +430 @@
                 case Exiting:
                         rcu_thread_exiting();
-repeat:
+                repeat:
                         if (THREAD->detached) {
                                 thread_destroy(THREAD, false);