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/web2c | |
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/web2c')
-rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 6 |
2 files changed, 5 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index ab7256a8aa4..ac160630070 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,8 @@ +2011-03-10 Peter Breitenlohner <peb@mppmu.mpg.de> + + * texmfmp.c (calledit): [__MINGW32__] Drop win32_system() and + use system() as for all other systems. + 2010-06-10 Peter Breitenlohner <peb@mppmu.mpg.de> Reorganize web2c headers. diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c index 7bdcb17b9b8..78e5934aa79 100644 --- a/Build/source/texk/web2c/lib/texmfmp.c +++ b/Build/source/texk/web2c/lib/texmfmp.c @@ -2058,13 +2058,7 @@ calledit (packedASCIIcode *filename, *temp = 0; /* Execute the command. */ -#ifdef __MINGW32__ - /* Win32 reimplementation of the system() command - provides opportunity to call it asynchronously */ - if (win32_system(command, true) != 0 ) -#else if (system (command) != 0) -#endif fprintf (stderr, "! Trouble executing `%s'.\n", command); /* Quit, since we found an error. */ |