From e3382ef3ddd57b7bb60408fb334227f809c42782 Mon Sep 17 00:00:00 2001 From: Bruno Raoult Date: Fri, 14 Jan 2022 12:47:05 +0100 Subject: [PATCH] debug.h: fix mistake in debug() printf __attribute__ --- 2021/include/debug.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/2021/include/debug.h b/2021/include/debug.h index bb60057..4a51166 100644 --- a/2021/include/debug.h +++ b/2021/include/debug.h @@ -26,9 +26,9 @@ void debug_init(u32 level); void debug_level_set(u32 level); void debug_devel_set(u32 level); -void _printf ((format (printf, 6, 7))) debug(u32 level, bool timestamp, - u32 indent, const char *src, - u32 line, const char *, ...); +void _printf debug(u32 level, bool timestamp, + u32 indent, const char *src, + u32 line, const char *, ...); #else /* DEBUG_DEBUG */ static inline void debug_init(_unused u32 level) {} static inline void debug_level_set(_unused u32 level) {}