1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-27 23:41:18 +01:00

clarify: while loop without body is correct here

This commit is contained in:
Christian Mehlis 2013-06-09 17:52:02 +02:00
parent 5a4211598c
commit 42063530c0

View File

@ -96,7 +96,10 @@ void sched_run() {
if (num_tasks == 0) {
DEBUG("scheduler: no tasks left.\n");
while(! num_tasks);
while(! num_tasks) {
/* loop until a new task arrives */
;
}
DEBUG("scheduler: new task created.\n");
}