diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mingw32.c')
-rw-r--r-- | Build/source/texk/kpathsea/mingw32.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/mingw32.c b/Build/source/texk/kpathsea/mingw32.c index 430c97caf62..755514e42ca 100644 --- a/Build/source/texk/kpathsea/mingw32.c +++ b/Build/source/texk/kpathsea/mingw32.c @@ -866,7 +866,7 @@ build_cmdline(char ***cmd, char *input, char *output) under Win9x. This is a workaround for this bug. */ -static int +int win32_system(const char *cmd, int async) { STARTUPINFO si; |