- fixed arm926 cp15 command bug (thanks to Vincent Palatin for this patch)

[fw/openocd] / src / helper / log.h

diff --git a/src/helper/log.h b/src/helper/log.h
index c495524cb8abb6e3787b1df633cc66aeecc94f41..6988bfcb9921721a385c8a4e5f5beaa48b67b6b8 100644 (file)
--- a/src/helper/log.h
+++ b/src/helper/log.h
@@ -39,7 +39,8 @@ enum log_levels
 };
 
 extern void log_printf(enum log_levels level, const char *file, int line, 
-       const char *function, const char *format, ...);
+       const char *function, const char *format, ...) 
+       __attribute__ ((format (printf, 5, 6)));
 extern int log_register_commands(struct command_context_s *cmd_ctx);
 extern int log_init(struct command_context_s *cmd_ctx);