[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 2/3] pk_vprintf: Add format attribute
From: |
John Darrington |
Subject: |
[PATCH 2/3] pk_vprintf: Add format attribute |
Date: |
Mon, 1 Jun 2020 13:16:44 +0200 |
---
poke/pk-term.h | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/poke/pk-term.h b/poke/pk-term.h
index 849279f1..b5645c8f 100644
--- a/poke/pk-term.h
+++ b/poke/pk-term.h
@@ -38,7 +38,8 @@ extern void pk_term_flush (void);
extern void pk_puts (const char *str);
/* Print a formatted string to the terminal. */
-extern void pk_printf (const char *format, ...);
+extern void pk_printf (const char *format, ...)
+ __attribute__ ((format (printf, 1, 2)));
extern void pk_vprintf (const char *format, va_list ap);
/* Print indentation. */
--
2.20.1