diff options
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 ()); |