From aae314fead54dab7b258f3a6c7ac1615833f9987 Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Tue, 29 Dec 2015 19:01:39 +0100
Subject: o Basic pre-emptive task switching OS.

---
 debug.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'debug.h')

diff --git a/debug.h b/debug.h
index 1c262a6..d2926b3 100644
--- a/debug.h
+++ b/debug.h
@@ -5,6 +5,7 @@
 extern "C" {
 #endif
 
+__attribute__((format (printf, 1, 2)))
 void dbg_printf(const char *fmt, ...);
 
 void dbg_putc(void * junk, char);
-- 
cgit v1.2.3