[build] Define __WINT_TYPE__ if necessary

sparse does not define __WCHAR_TYPE__ or __WINT_TYPE__.  We already
define __WCHAR_TYPE__ if the compiler does not do so; do the same for
__WINT_TYPE__.

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/src/include/stddef.h b/src/include/stddef.h
index 83a0f0ed661ce5d04083c4b4a0fe66eed415d87e..20419bdf189c6cbfd69e3c9858472882e56d5d9b 100644 (file)
--- a/src/include/stddef.h
+++ b/src/include/stddef.h
@@ -25,6 +25,9 @@ FILE_LICENCE ( GPL2_ONLY );
 #ifndef __WCHAR_TYPE__
 #define __WCHAR_TYPE__ long int
 #endif
+#ifndef __WINT_TYPE__
+#define __WINT_TYPE__ long int
+#endif
 typedef __WCHAR_TYPE__ wchar_t;
 typedef __WINT_TYPE__ wint_t;