diff options
Diffstat (limited to 'Build/tools/etc/check-ctan2tl-output.pl')
-rw-r--r-- | Build/tools/etc/check-ctan2tl-output.pl | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Build/tools/etc/check-ctan2tl-output.pl b/Build/tools/etc/check-ctan2tl-output.pl new file mode 100644 index 00000000000..0311df9d8a6 --- /dev/null +++ b/Build/tools/etc/check-ctan2tl-output.pl @@ -0,0 +1,21 @@ + +my $indata=0; +my $innewvspresent=0; +my $linesdiff=0; +my $opdiff=0; +while (<>) { + if (/^BEGIN COMPARE DATA$/) { $indata=1; next ; } + if (/^END COMPARE DATA$/) { $indata=0; next ; } + if (/can't find CTAN directory for /) { $opdiff = -10; last; } + if (!$indata) { next; } + if (/^ new vs\. present /) { $innewvspresent=1; next; } + if (/^CMP: [0-9]* common files, ~([0-9]*) lines different/) { + $innewvspresent=0; + $linesdiff = $1; + last; + } + $opdiff++; + #print if $indata; +} +print "files diff: $opdiff; linesdiff: $linesdiff\n"; + |