diff options
Diffstat (limited to 'plugins/utils.h')
| -rw-r--r-- | plugins/utils.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/utils.h b/plugins/utils.h index a852e86a..c378e459 100644 --- a/plugins/utils.h +++ b/plugins/utils.h | |||
| @@ -16,7 +16,7 @@ suite of plugins. */ | |||
| 16 | void support (void); | 16 | void support (void); |
| 17 | char *clean_revstring (const char *revstring); | 17 | char *clean_revstring (const char *revstring); |
| 18 | void print_revision (const char *, const char *); | 18 | void print_revision (const char *, const char *); |
| 19 | void die (int result, const char *fmt, ...) __attribute__((noreturn)); | 19 | void die (int result, const char *fmt, ...) __attribute__((noreturn,format(printf, 2, 3))); |
| 20 | 20 | ||
| 21 | /* Handle timeouts */ | 21 | /* Handle timeouts */ |
| 22 | 22 | ||
