diff options
| -rw-r--r-- | Master/tlpkg/TeXLive/TLWinGoo.pm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLWinGoo.pm b/Master/tlpkg/TeXLive/TLWinGoo.pm index e83b24442f8..5e4ca111279 100644 --- a/Master/tlpkg/TeXLive/TLWinGoo.pm +++ b/Master/tlpkg/TeXLive/TLWinGoo.pm @@ -188,6 +188,8 @@ sub get_system_env { if ($is_win) { $is_admin = 0 if not get_system_env(); + debug("Configuring TLWinGoo for " . + ($is_admin ? "admin" : "user") . "mode\n") if win32(); } sub get_user_env { |