index 71a731dbc988a8a22d0a2e1f8f3a5223f4c5d67a..ff45269d295c61797d55ca27e44cd218980d6505 100644 (file)
--- a/cache.h
+++ b/cache.h
extern void alloc_report(void);
/* trace.c */
+__attribute__((format (printf, 1, 2)))
extern void trace_printf(const char *format, ...);
+__attribute__((format (printf, 2, 3)))
extern void trace_argv_printf(const char **argv, const char *format, ...);
/* convert.c */