diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/printversion.c')
-rw-r--r-- | Build/source/texk/web2c/lib/printversion.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/printversion.c b/Build/source/texk/web2c/lib/printversion.c index cba87a94922..5849ce23f45 100644 --- a/Build/source/texk/web2c/lib/printversion.c +++ b/Build/source/texk/web2c/lib/printversion.c @@ -67,5 +67,7 @@ printversionandexit (const_string banner, if (extra_info) fputs (extra_info, stdout); + free (prog_name); + uexit (0); } |