diff options
Diffstat (limited to 'Build/source/texk/web2c/lib/texmfmp.c')
-rw-r--r-- | Build/source/texk/web2c/lib/texmfmp.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/lib/texmfmp.c b/Build/source/texk/web2c/lib/texmfmp.c index 4a8bdf40473..f3682cfbb6d 100644 --- a/Build/source/texk/web2c/lib/texmfmp.c +++ b/Build/source/texk/web2c/lib/texmfmp.c @@ -1679,11 +1679,11 @@ parse_options (int argc, string *argv) #endif } else if (ARGUMENT_IS ("version")) { -#if defined (pdfTeX) || defined(XeTeX) char *versions; +#if defined (pdfTeX) || defined(XeTeX) initversionstring(&versions); #else - const char *versions = ""; + versions = NULL; #endif printversionandexit (BANNER, COPYRIGHT_HOLDER, AUTHOR, versions); |