[patch] gcc patch

gcc-wchar_t.patch (text/plain), 286 bytes, created by Sebastian Doering on 2016-07-18 16:24:16 UTC

--- gcc/ginclude/stddef.h.orig	2016-07-13 20:09:00.895241601 +0000
+++ gcc/ginclude/stddef.h	2016-07-13 20:21:21.200265291 +0000
@@ -323,7 +323,7 @@
 #ifndef __WCHAR_TYPE__
 #define __WCHAR_TYPE__ int
 #endif
-#ifndef __cplusplus
+#if 0
 typedef __WCHAR_TYPE__ wchar_t;
 #endif
 #endif