diff options
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 15e62403d58..9602887dbe1 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -640,6 +640,12 @@ sub main { shift @ARGV; } + $OPT{"no-clean"} = 0; + if ($ARGV[0] eq "--no-clean") { + $OPT{"no-clean"} = 1; + shift @ARGV; + } + if ($ARGV[0] eq "--list-not-treated") { my @not_checked = (); for my $b (&normal_tlps ()) { |