summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tlpkg-ctan-check
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tlpkg-ctan-check')
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check6
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 ()) {