diff options
-rwxr-xr-x | Master/install-tl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index c19504129c8..6b365a32d96 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -493,6 +493,7 @@ if ($opt_profile eq "") { exit(3); } } else { + do_remote_init(); read_profile($opt_profile); } |