sched() can be marked as noreturn

Signed-off-by: Amadeusz Sławiński <amade@asmblr.net>
This commit is contained in:
Amadeusz Sławiński
2019-01-26 19:06:32 +01:00
parent b89fcbb69f
commit 711a354ce6

View File

@@ -57,6 +57,6 @@ struct Event {
void evenq (Event *);
void evdeq (Event *);
void SetTimeout (Event *, int);
void sched (void);
void sched (void) __attribute__((__noreturn__));
#endif /* SCREEN_SCHED_H */