diff options
Diffstat (limited to 'Build/source/texk/web2c/omegafonts/pl-lexer.c')
-rw-r--r-- | Build/source/texk/web2c/omegafonts/pl-lexer.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/omegafonts/pl-lexer.c b/Build/source/texk/web2c/omegafonts/pl-lexer.c index 84b1d3a3389..6b482d37e59 100644 --- a/Build/source/texk/web2c/omegafonts/pl-lexer.c +++ b/Build/source/texk/web2c/omegafonts/pl-lexer.c @@ -1002,8 +1002,12 @@ along with Omega; if not, write to the Free Software Foundation, Inc., #include <string.h> #ifdef WIN32 +#if defined __MINGW32__ +#include <kpathsea/mingw32.h> +#else #include <win32lib.h> #endif +#endif #include "parser.h" #include "kpathsea/types.h" #include "pl-parser.h" |