diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/texmfmp.c')
-rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 6 |
1 files changed, 0 insertions, 6 deletions
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. */ |