sync

git-svn-id: svn://tug.org/texlive/trunk@28559 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 3 insertions, 1 deletions

diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format
index 5470ae1b753..01a02e20689 100755
--- a/Master/tlpkg/bin/check-files-by-format
+++ b/Master/tlpkg/bin/check-files-by-format
@@ -36,7 +36,8 @@ my $exclude_pdf = {
      # 14nov11 author cannot fix:
   'texmf-dist/doc/fonts/frcursive/frcursive.pdf' => 1,
      # 15dec12 derekn says will be fixed in next xpdf after 3.03:
-  'texmf-dist/doc/latex/ocgx/demo-ocgx.pdf' => 1,
+     # (causes seg fault now):
+  'texmf-dist/doc/latex/ocgx/demo-ocgx.pdf' => -1,
   'texmf/dvips/tetex/config.pdf' => 2, # not a PDF file
 };
 
@@ -246,6 +247,7 @@ sub exclude_value {
 # check a pdf file
 sub check_pdf {
   my ($file) = @_;
+  return if exclude_value($exclude_pfb, $file) < 0;
   my $errfile = "$tmpdir/pdferr";
   unlink($errfile);
   my $bad_exit = system("pdfinfo $tlroot/$file >/dev/null 2>$errfile");