diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index 249a81bbe83..2f2554a6dd2 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -152,7 +152,7 @@ use strict; # debugging communication with external gui: use shared logfile our $dblfile = "/tmp/dblog"; -$dblfile = $ENV{'TEMP'} . "\\dblog.txt" if ($^O = ~/^MSWin/i); +$dblfile = $ENV{'TEMP'} . "\\dblog.txt" if ($^O =~ /^MSWin/i); $dblfile = $ENV{'TMPDIR'} . "/dblog" if ($^O eq 'darwin' && exists $ENV{'TMPDIR'}); sub dblog { |