diff options
author | rillig <rillig@pkgsrc.org> | 2006-06-15 22:22:13 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2006-06-15 22:22:13 +0000 |
commit | b99fb1367b4fb6f6e03b2d40a8900d0775d18f6c (patch) | |
tree | c402cb0eeab0c8f2c9ca020787f906e309f6b19b /pkgtools | |
parent | fe2042bd0da1eaa3904d0808f9e3890c2c1724b1 (diff) | |
download | pkgsrc-b99fb1367b4fb6f6e03b2d40a8900d0775d18f6c.tar.gz |
Since I don't know yet what is the best way to fix the "Unknown shell
command" warnings, they are not enabled by default.
Diffstat (limited to 'pkgtools')
-rw-r--r-- | pkgtools/pkglint/files/pkglint.pl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgtools/pkglint/files/pkglint.pl b/pkgtools/pkglint/files/pkglint.pl index 108a8988406..237bcd1b9a2 100644 --- a/pkgtools/pkglint/files/pkglint.pl +++ b/pkgtools/pkglint/files/pkglint.pl @@ -1,5 +1,5 @@ #! @PERL@ -# $NetBSD: pkglint.pl,v 1.620 2006/06/14 07:44:30 rillig Exp $ +# $NetBSD: pkglint.pl,v 1.621 2006/06/15 22:22:13 rillig Exp $ # # pkglint - static analyzer and checker for pkgsrc packages @@ -3496,8 +3496,8 @@ sub checkline_mk_shelltext($$) { } } else { - $line->log_warning("Unknown shell command \"${shellword}\"."); - $line->explain_warning( + $opt_warn_extra and $line->log_warning("Unknown shell command \"${shellword}\"."); + $opt_warn_extra and $line->explain_warning( "If you want your package to be portable to all platforms that pkgsrc", "supports, you should only use shell commands that are covered by the", "tools framework."); |