vmm: tag printf with compiler "printf" attribute

Issue #1296
2014-10-01 14:25:28 +02:00 · 2014-10-01 14:25:28 +02:00 · 4de6d54e50
parent cdcc4ee60f
commit 4de6d54e50
1 changed files with 1 additions and 1 deletions
--- a/repos/ports/include/vmm/printf.h
+++ b/repos/ports/include/vmm/printf.h
@ -23,7 +23,7 @@ namespace Vmm {

 	using namespace Genode;

-	void printf(const char *format, ...);
+	void printf(const char *format, ...) __attribute__((format(printf, 1, 2)));
 }