diff options
Diffstat (limited to 'Build/source')
| -rw-r--r-- | Build/source/texk/web2c/lib/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/lib/printversion.c | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/lib/ChangeLog b/Build/source/texk/web2c/lib/ChangeLog index d68f0cbecb3..37002a0a0f5 100644 --- a/Build/source/texk/web2c/lib/ChangeLog +++ b/Build/source/texk/web2c/lib/ChangeLog @@ -1,3 +1,7 @@ +2018-11-14 Andreas Scherer <https://ascherer.github.io> + + * printversion.c: free xmalloc'd prog_name. + 2018-11-13 Karl Berry <karl@freefriends.org> * texmfmp.c (FORCE_SOURCE_DATE_set, SOURCE_DATE_EPOCH_set): new static. 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); } |