diff options
-rw-r--r-- | Build/source/texk/kpathsea/win32lib.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/kpathsea/win32lib.c b/Build/source/texk/kpathsea/win32lib.c index 7d32d4bdc20..4aafe218afe 100644 --- a/Build/source/texk/kpathsea/win32lib.c +++ b/Build/source/texk/kpathsea/win32lib.c @@ -1094,6 +1094,9 @@ int __cdecl win32_system(const char *cmd) *q = '\0'; av[3] = NULL; ret = spawnvp(_P_WAIT, av[0], av); + free(av[0]); + free(av[1]); + free(av[2]); return ret; } |