+#if !defined(THREADED_RTS) /* to the end */
/*
* Wait/check for external events. Periodically, the
* Scheduler checks for the completion of external operations,
// - new threads have arrived
} while (wait
- && !interrupted
+ && sched_state == SCHED_RUNNING
&& emptyRunQueue(&MainCapability)
);
}
+#endif