summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/check-file-coverage
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-01-10 10:53:59 +0000
committerNorbert Preining <preining@logic.at>2008-01-10 10:53:59 +0000
commit5ab926badb5ad24f8b4b994ad5f18f0d2b3a6953 (patch)
tree09714be5b47fa1659d69008e5fb3e574f5e106d7 /Master/tlpkg/bin/check-file-coverage
parentfdf785af06cac0cef5125a27f55f2b12bacb6d9a (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-xMaster/tlpkg/bin/check-file-coverage7
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 ());