server: gdb_server: fix memory map generation on a 32-bit BE host

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

diff --git a/src/helper/log.h b/src/helper/log.h
index d60587f72c4ce3f72cfb38ebd36d2ee7f48786f0..bc08fe49a0af2f9073f889d96cbf6f4a23436fa4 100644 (file)
--- a/src/helper/log.h
+++ b/src/helper/log.h
@@ -95,7 +95,8 @@ int log_add_callback(log_callback_fn fn, void *priv);
 int log_remove_callback(log_callback_fn fn, void *priv);
 
 char *alloc_vprintf(const char *fmt, va_list ap);
-char *alloc_printf(const char *fmt, ...);
+char *alloc_printf(const char *fmt, ...)
+       __attribute__ ((format (PRINTF_ATTRIBUTE_FORMAT, 1, 2)));
 
 extern int debug_level;