diff options
Diffstat (limited to 'Build/source/texk/kpathsea/progname.c')
-rw-r--r-- | Build/source/texk/kpathsea/progname.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Build/source/texk/kpathsea/progname.c b/Build/source/texk/kpathsea/progname.c index 809b86e7704..e5cf8c937bf 100644 --- a/Build/source/texk/kpathsea/progname.c +++ b/Build/source/texk/kpathsea/progname.c @@ -488,11 +488,7 @@ kpathsea_set_program_name (kpathsea kpse, const_string argv0, #if defined(WIN32) /* Set various info about user. Among many things, - ensure that HOME is set. If debug_paths is on, - turn on some message if $HOME is not found. */ - if (KPATHSEA_DEBUG_P (KPSE_DEBUG_PATHS)) { - set_home_warning(); - } + ensure that HOME is set. */ init_user_info(); /* redirect stderr to debug_output. Easier to send logfiles. */ |