diff options
author | Amadeusz Sławiński <amade@asmblr.net> | 2019-01-26 19:06:32 +0100 |
---|---|---|
committer | Amadeusz Sławiński <amade@asmblr.net> | 2019-01-26 19:40:49 +0100 |
commit | 711a354ce6d91c477740d58a182f46547f21a97a (patch) | |
tree | ab335dd723073685f0ce66751c80ef53a73b5b77 | |
parent | b89fcbb69fc8dbf55551067877849015776eb29b (diff) | |
download | screen-711a354ce6d91c477740d58a182f46547f21a97a.tar.gz |
sched() can be marked as noreturn
Signed-off-by: Amadeusz Sławiński <amade@asmblr.net>
-rw-r--r-- | src/sched.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sched.h b/src/sched.h index 27779a1..f8138c0 100644 --- a/src/sched.h +++ b/src/sched.h @@ -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 */ |