diff options
| author | mestre <mestre@cvs.openbsd.org> | 2015-12-26 00:26:41 +0000 |
|---|---|---|
| committer | mestre <mestre@cvs.openbsd.org> | 2015-12-26 00:26:41 +0000 |
| commit | cd3ae956e87cd9a71362c652453ed1b666e3400c (patch) | |
| tree | 552c5d7229cdaed36d4263180993b1fa2dec6bf8 /games/sail | |
| parent | 3fb26cc31d7a4478dc8f38b04bdd6993f60fb4f5 (diff) | |
Set as __dead a few more functions, that don't return, on games/
With precious tip, help and also OK from tb@
Diffstat (limited to 'games/sail')
| -rw-r--r-- | games/sail/extern.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/games/sail/extern.h b/games/sail/extern.h index f6b2b1b60e4..90414e63b11 100644 --- a/games/sail/extern.h +++ b/games/sail/extern.h @@ -1,4 +1,4 @@ -/* $OpenBSD: extern.h,v 1.10 2014/03/11 07:42:55 guenther Exp $ */ +/* $OpenBSD: extern.h,v 1.11 2015/12/26 00:26:40 mestre Exp $ */ /* $NetBSD: extern.h,v 1.8 1998/09/13 15:27:30 hubertf Exp $ */ /* @@ -368,9 +368,9 @@ int boarding(struct ship *, int); void unboard(struct ship *, struct ship *, int); /* pl_1.c */ -void leave(int) __attribute__((__noreturn__)); -void choke(int) __attribute__((__noreturn__)); void child(int); +__dead void choke(int); +__dead void leave(int); /* pl_2.c */ __dead void play(void); |