diff options
| -rwxr-xr-x | Master/install-tl | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/install-tl b/Master/install-tl index e366ff9d349..3f6763f1a6b 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -1972,12 +1972,13 @@ sub do_install_packages { tlwarn("Installation failed.\n"); tlwarn("Rerunning the installer will try to restart the installation.\n"); tlwarn("Or you can restart by running the installer with:\n"); + my $repostr = ($opt_location ? " --repository $location" : ""); if (win32()) { - tlwarn(" install-tl-windows.bat --profile $profile_name [EXTRA-ARGS]\n" + tlwarn(" install-tl-windows.bat$repostr --profile $profile_name [EXTRA-ARGS]\n" ."or\n" - ." install-tl-advanced.bat --profile $profile_name [EXTRA-ARGS]\n"); + ." install-tl-advanced.bat$repostr --profile $profile_name [EXTRA-ARGS]\n"); } else { - tlwarn(" install-tl --profile $profile_name [EXTRA-ARGS]\n"); + tlwarn(" install-tl$repostr --profile $profile_name [EXTRA-ARGS]\n"); } flushlog(); exit(1); |