From eb0c10d4ad9cffd4dfc59a6ccc4cf0467966fa3b Mon Sep 17 00:00:00 2001
From: Alessandro Rubini <rubini@gnudd.com>
Date: Wed, 12 Dec 2012 09:31:24 +0100
Subject: [PATCH] util.h: needs <inttypes.h>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
---
 include/util.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/util.h b/include/util.h
index 91271f2..8142d6a 100644
--- a/include/util.h
+++ b/include/util.h
@@ -1,5 +1,6 @@
 #ifndef __UTIL_H
 #define __UTIL_H
+#include <inttypes.h>
 
 /* Color codes for cprintf()/pcprintf() */
 #define C_DIM 0x80
-- 
GitLab