diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mingw32.h')
-rw-r--r-- | Build/source/texk/kpathsea/mingw32.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/mingw32.h b/Build/source/texk/kpathsea/mingw32.h index 3d7270a2cd0..24b79396123 100644 --- a/Build/source/texk/kpathsea/mingw32.h +++ b/Build/source/texk/kpathsea/mingw32.h @@ -51,4 +51,6 @@ extern char *quote_args(char **); #endif /* MAKE_KPSE_DLL */ +extern KPSEDLL int win32_system(const char *, int); + #endif |