diff options
| author | Juan Manuel Guerrero <juan.guerrero@gmx.de> | 2017-08-27 18:32:36 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2017-08-27 18:32:36 +0300 |
| commit | 010819d5045c3297a0ff2dece45af2e90b17ace5 (patch) | |
| tree | d761e91c945485d756c1cdc4c5735ac80ea054c8 /mbsupport.h | |
| parent | c039e9d6479c2556199da3053b1a783ec1571a0d (diff) | |
| download | gawk-010819d5045c3297a0ff2dece45af2e90b17ace5.tar.gz | |
Fix the DJGPP port.
Diffstat (limited to 'mbsupport.h')
| -rw-r--r-- | mbsupport.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/mbsupport.h b/mbsupport.h index e7b40423..51cec3c7 100644 --- a/mbsupport.h +++ b/mbsupport.h @@ -44,7 +44,13 @@ #define wcslen strlen #define wctob(wc) (EOF) -#define mbstate_t int +#if (__DJGPP__ > 2 || __DJGPP_MINOR__ >= 3) +# include <ctype.h> +# include <wchar.h> +# include <wctype.h> +#else +# define mbstate_t int +#endif extern wctype_t wctype(const char *name); extern int iswctype(wint_t wc, wctype_t desc); |