summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/check-file-coverage
diff options
context:
space:
mode:
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 ());