diff options
author | Markus Uhlin <markus@nifty-networks.net> | 2024-03-16 19:41:50 +0100 |
---|---|---|
committer | Markus Uhlin <markus@nifty-networks.net> | 2024-03-16 19:41:50 +0100 |
commit | 6251c7a78304b50891f5ad8e872295cdcaf5730b (patch) | |
tree | d80d33d3a67fd789481a509d7d73371ccf54ad3d | |
parent | 8dc529bca252fea5bd2cad79036535536f31af21 (diff) |
Marked usage() '__dead'
-rw-r--r-- | FICS/ficsmain.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/FICS/ficsmain.c b/FICS/ficsmain.c index 46cdb4d..49c726c 100644 --- a/FICS/ficsmain.c +++ b/FICS/ficsmain.c @@ -52,7 +52,7 @@ PUBLIC int port; PUBLIC int withConsole; -PRIVATE void usage(char *); +PRIVATE __dead void usage(char *); PRIVATE void BrokenPipe(int sig) @@ -119,7 +119,7 @@ main_event_loop(void) } } -PRIVATE void +PRIVATE __dead void usage(char *progname) { fprintf(stderr, "Usage: %s [-p port] [-C] [-h]\n", progname); |