diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-03-01 14:35:34 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-03-01 14:35:34 +0000 |
commit | d14a599c4c5df86c60ebb1ac9000416c1177f4cd (patch) | |
tree | 8c9fe97251b24afb4662edeb51bc76c97d552ef6 /Build/source/texk/kpathsea/mingw32.h | |
parent | 573fe9ca631fee2865f58133c28c7522d80d721b (diff) |
Remove win32_system() for __MINGW__
originally introduced to work around bugs in system() from Win9x
git-svn-id: svn://tug.org/texlive/trunk@21567 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/kpathsea/mingw32.h')
-rw-r--r-- | Build/source/texk/kpathsea/mingw32.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/mingw32.h b/Build/source/texk/kpathsea/mingw32.h index 938c519ee0f..7bc15cc9c56 100644 --- a/Build/source/texk/kpathsea/mingw32.h +++ b/Build/source/texk/kpathsea/mingw32.h @@ -51,7 +51,6 @@ extern char *quote_args(char **); #endif /* MAKE_KPSE_DLL */ extern KPSEDLL BOOL win32_get_long_filename (char *, char *, int); -extern KPSEDLL int win32_system(const char *, int); extern KPSEDLL void dostounix_filename (char *p); #endif |