diff options
-rw-r--r-- | litmus/sched_color.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/litmus/sched_color.c b/litmus/sched_color.c index f095b302ddd6..e67681fb2d24 100644 --- a/litmus/sched_color.c +++ b/litmus/sched_color.c | |||
@@ -378,7 +378,7 @@ static void fifo_update(struct rt_server *server) | |||
378 | 378 | ||
379 | if (!server->linked || has_resources(server->linked, server->cpu)) { | 379 | if (!server->linked || has_resources(server->linked, server->cpu)) { |
380 | /* Running here means linked to a parent server */ | 380 | /* Running here means linked to a parent server */ |
381 | BUG_ON(!server->running); | 381 | /* BUG_ON(!server->running); */ |
382 | 382 | ||
383 | /* Stop executing */ | 383 | /* Stop executing */ |
384 | if (fserver->start_time) { | 384 | if (fserver->start_time) { |
@@ -388,7 +388,7 @@ static void fifo_update(struct rt_server *server) | |||
388 | cancel_enforcement_timer(&fserver->timer); | 388 | cancel_enforcement_timer(&fserver->timer); |
389 | } else { | 389 | } else { |
390 | /* Server is linked, but not executing */ | 390 | /* Server is linked, but not executing */ |
391 | BUG_ON(fserver->timer.armed); | 391 | /* BUG_ON(fserver->timer.armed); */ |
392 | } | 392 | } |
393 | 393 | ||
394 | /* Calculate next task */ | 394 | /* Calculate next task */ |