diff options
-rwxr-xr-x | Master/tlpkg/dev/updmap.pl | 32 |
1 files changed, 1 insertions, 31 deletions
diff --git a/Master/tlpkg/dev/updmap.pl b/Master/tlpkg/dev/updmap.pl index 38ce18f2619..84a71af49be 100755 --- a/Master/tlpkg/dev/updmap.pl +++ b/Master/tlpkg/dev/updmap.pl @@ -7,8 +7,8 @@ # ############################################################################### # $Id$ -$^W=1; BEGIN { + $^W=1; chomp($TEXMFROOT = `kpsewhich -var-value=TEXMFROOT`); unshift (@INC, "$TEXMFROOT/tlpkg"); } @@ -382,36 +382,6 @@ sub copyFile { } ############################################################################### -# start_redirection(), stop_redirection() -# redirects stdout and stderr to log file (possibly "nul") -############################################################################### -sub start_redirection { - my ($log) = @_; - - # start redirection if asked - if ($log) { - open(SO, ">&STDOUT"); - open(SE, ">&STDERR"); - - close(STDOUT); - close(STDERR); - - open(STDOUT, ">$log"); - open(STDERR,">&STDOUT"); - - select(STDERR); $| = 1; - select(STDOUT); $| = 1; - } -} - -sub stop_redirection { - close(STDOUT); - close(STDERR); - open(STDOUT, ">&SO"); - open(STDERR, ">&SE"); -} - -############################################################################### # help() # display help message and exit ############################################################################### |