From b19856215cc4b09c6776381a1b7801f1b3cf1bb5 Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Mon, 12 Jan 2015 10:45:03 +0000
Subject: [PATCH] No stdio.h on Mini-OS, so use cdefs.h again there.

---
 src/cdefs-compat.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/cdefs-compat.h b/src/cdefs-compat.h
index 7c997c9..30d1a00 100644
--- a/src/cdefs-compat.h
+++ b/src/cdefs-compat.h
@@ -1,11 +1,16 @@
 #ifndef _CDEFS_COMPAT_H_
 #define	_CDEFS_COMPAT_H_
 
+#ifdef __MINIOS__
+/* No stdio.h on Mini-OS. */
+#include <sys/cdefs.h>
+#else
 /*
  * We cannot be certain that this operating system has <sys/cdefs.h>.
  * Instead, include a header file that is likely to pull in this header.
  */
 #include <stdio.h>
+#endif
 
 #if defined(__cplusplus)
 #define	__BEGIN_DECLS	extern "C" {