diff options
author | Norbert Preining <preining@logic.at> | 2008-01-10 10:53:59 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2008-01-10 10:53:59 +0000 |
commit | 5ab926badb5ad24f8b4b994ad5f18f0d2b3a6953 (patch) | |
tree | 09714be5b47fa1659d69008e5fb3e574f5e106d7 /Master/tlpkg/bin/check-file-coverage | |
parent | fdf785af06cac0cef5125a27f55f2b12bacb6d9a (diff) |
add logging facilities, see extra email
git-svn-id: svn://tug.org/texlive/trunk@6176 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/check-file-coverage')
-rwxr-xr-x | Master/tlpkg/bin/check-file-coverage | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/check-file-coverage b/Master/tlpkg/bin/check-file-coverage index 873a5fe2315..8e7329a4a43 100755 --- a/Master/tlpkg/bin/check-file-coverage +++ b/Master/tlpkg/bin/check-file-coverage @@ -37,7 +37,7 @@ my @IgnorePatterns = qw|support/ source/ setuptl/ chomp (my $opt_master = `cd $::mydir/../.. && pwd`); -our $opt_debug = 0; +my $opt_debug = 0; my $help = 0; GetOptions( @@ -46,6 +46,11 @@ GetOptions( pod2usage(-exitstatus => 0, -verbose => 2) if $help; +if ($opt_debug) { + $::LOGLEVELFILE = $::LOG_DDDEBUG; + $::LOGLEVELTERMINAL = $::LOG_DDDEBUG; +} + exit (&main ()); |