diff options
author | Karl Berry <karl@freefriends.org> | 2012-12-18 23:36:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-12-18 23:36:49 +0000 |
commit | 1974a31de2947366db7142039a5b8dac8e909ed0 (patch) | |
tree | 7f556b23dab9277a632d31decd69480c2c1d33a9 /Master/tlpkg | |
parent | 2dcf4d3acd844f938fa3792188a5dd7a30009fff (diff) |
sync
git-svn-id: svn://tug.org/texlive/trunk@28576 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/check-files-by-format | 7 | ||||
-rwxr-xr-x | Master/tlpkg/libexec/place | 5 |
2 files changed, 6 insertions, 6 deletions
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format index 01a02e20689..d6791ca5b52 100755 --- a/Master/tlpkg/bin/check-files-by-format +++ b/Master/tlpkg/bin/check-files-by-format @@ -247,13 +247,14 @@ sub exclude_value { # check a pdf file sub check_pdf { my ($file) = @_; - return if exclude_value($exclude_pfb, $file) < 0; + my $excl_val = exclude_value($exclude_pfb, $file) || 0; + return if $excl_val < 0; + # my $errfile = "$tmpdir/pdferr"; unlink($errfile); my $bad_exit = system("pdfinfo $tlroot/$file >/dev/null 2>$errfile"); my $badness = $bad_exit ? 2 : -s $errfile ? 1 : 0; - my $limit = exclude_value($exclude_pdf, $file) || 0; - return if $badness <= $limit; + return if $badness <= $excl_val; print "Broken PDF: $file\n" if $badness == 2; print "Damaged PDF: $file\n" if $badness == 1; } diff --git a/Master/tlpkg/libexec/place b/Master/tlpkg/libexec/place index be361165abf..4cc5a0a1028 100755 --- a/Master/tlpkg/libexec/place +++ b/Master/tlpkg/libexec/place @@ -303,9 +303,8 @@ sub compare_disk_vs_tlpobj { } } - print "\n*** not matched in new tlp: ", - join ("\n ", sort keys %files_on_disk), - "\n" + print "\n*** not matched in new tlp:\n", + map (" $_\n", sort keys %files_on_disk) if keys %files_on_disk; } |