Module Name:	pkgsrc
Committed By:	rillig
Date:		Fri Dec  2 08:44:23 UTC 2005

Modified Files:
	pkgsrc/pkgtools/pkglint/files: pkglint.pl

Log Message:
Allow direct use of tool names if the tool name is preceded by "${...}/".


To generate a diff of this commit:
cvs rdiff -r1.409 -r1.410 pkgsrc/pkgtools/pkglint/files/pkglint.pl

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.