diff options
-rw-r--r-- | pkgtools/pkglint/files/pkglint.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgtools/pkglint/files/pkglint.pl b/pkgtools/pkglint/files/pkglint.pl index 5e2ded1f16c..5de8ec2c907 100644 --- a/pkgtools/pkglint/files/pkglint.pl +++ b/pkgtools/pkglint/files/pkglint.pl @@ -1,5 +1,5 @@ #! @PERL@ -# $NetBSD: pkglint.pl,v 1.655 2006/07/18 18:14:33 rillig Exp $ +# $NetBSD: pkglint.pl,v 1.656 2006/07/18 20:37:31 rillig Exp $ # # pkglint - static analyzer and checker for pkgsrc packages @@ -2699,7 +2699,7 @@ sub get_filetype($$) { return "unknown"; } - $line->log_debug("Don't know the file type of ${fname}."); + $opt_debug_misc and $line->log_debug("Don't know the file type of ${fname}."); return "unknown"; } |