diff options
Diffstat (limited to 'utils/perlivp.PL')
-rw-r--r-- | utils/perlivp.PL | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/utils/perlivp.PL b/utils/perlivp.PL index 276ba76e0b..544efa3947 100644 --- a/utils/perlivp.PL +++ b/utils/perlivp.PL @@ -287,6 +287,12 @@ for (@modules) { $version = undef; @missing = (); @missing = $installed -> validate($_); + + # .bs files are optional + @missing = grep { ! /\.bs$/ } @missing; + # man files are often compressed + @missing = grep { ! ( -s "$_.gz" || -s "$_.bz2" ) } @missing; + if ($#missing >= 0) { print "# file",+($#missing == 0) ? '' : 's'," missing from installation:\n"; print '# ',join(' ',@missing),"\n"; |