| --- setuptools-40.2.0/launcher.c.orig 2018-08-27 00:31:49.470981800 -0400 | |
| +++ setuptools-40.2.0/launcher.c 2018-08-27 00:35:03.568692800 -0400 | |
| @@ -369,7 +372,11 @@ int run(int argc, char **argv, int is_gu | |
| if (is_gui) { | |
| /* Use exec, we don't need to wait for the GUI to finish */ | |
| +#ifdef __MINGW32__ | |
| + _execv(ptr, (const char * const *)(newargs)); | |
| +#else | |
| execv(ptr, (const char * const *)(newargs)); | |
| +#endif | |
| return fail("Could not exec %s", ptr); /* shouldn't get here! */ | |
| } | |