diff options
| author | Cristian Rodríguez <crrodriguez@opensuse.org> | 2013-04-02 04:02:58 -0300 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-04-25 21:50:48 -0400 |
| commit | b1e2b33c5258f1cefcee55116ac5d049478c804d (patch) | |
| tree | dc3e50cb79c51c85b2a16b825c89cc7bafeecbc7 /src/core/manager.h | |
| parent | 750ef27274cdc274f8c6b9245d6ba0179c68fa50 (diff) | |
Add some extra __attribute__ ((format)) s
Diffstat (limited to 'src/core/manager.h')
| -rw-r--r-- | src/core/manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/manager.h b/src/core/manager.h index a0be2927f7..b9bd2099f8 100644 --- a/src/core/manager.h +++ b/src/core/manager.h @@ -301,6 +301,6 @@ void manager_undo_generators(Manager *m); void manager_recheck_journal(Manager *m); void manager_set_show_status(Manager *m, bool b); -void manager_status_printf(Manager *m, bool ephemeral, const char *status, const char *format, ...); +void manager_status_printf(Manager *m, bool ephemeral, const char *status, const char *format, ...) _printf_attr_(4,5); void watch_init(Watch *w); |