diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2022-03-15 17:35:32 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2022-03-15 17:35:32 -0400 |
| commit | 4f5757f2efd170202625d3a44f260a71e7a82576 (patch) | |
| tree | 29af8aafce16c03e64a1b230f8fb1938ccefa851 | |
| parent | 76de77fdbbffc50487dcfd6c3a4b42d8820c3716 (diff) | |
Use noreturn for usage_exit
| -rw-r--r-- | tools/common.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/common.h b/tools/common.h index 38b7cc6d..f04e917b 100644 --- a/tools/common.h +++ b/tools/common.h @@ -21,7 +21,7 @@ #define error_exit(...) exit((fprintf(stderr, PROGRAM_NAME ": " __VA_ARGS__), 1)) -void usage_exit(int status) { +noreturn void usage_exit(int status) { fprintf(stderr, "Usage: " PROGRAM_NAME " " USAGE_OPTS "\n"); exit(status); } |