diff options
| author | rillig <rillig> | 2005-12-08 10:43:04 +0000 |
|---|---|---|
| committer | rillig <rillig> | 2005-12-08 10:43:04 +0000 |
| commit | 4118cc90ec1fd87e132f0815f3c91aff74b052cf (patch) | |
| tree | a9dc1265e3b824c4b28d89425f2e06f0bfe70bc3 /pkgtools/pkglint | |
| parent | 17c40e375f7c8c5b2203db2c04c976808c99765e (diff) | |
| download | pkgsrc-4118cc90ec1fd87e132f0815f3c91aff74b052cf.tar.gz | |
The option names are now checked if they are in
mk/defaults/options.description.
Diffstat (limited to 'pkgtools/pkglint')
| -rw-r--r-- | pkgtools/pkglint/TODO | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pkgtools/pkglint/TODO b/pkgtools/pkglint/TODO index 36774e98d34..096dce63677 100644 --- a/pkgtools/pkglint/TODO +++ b/pkgtools/pkglint/TODO @@ -22,6 +22,3 @@ - security holes, - coding style violations, - possible unportable constructs -* check that all values used for the PKG_OPTIONS are documented in - mk/defaults/options.description. Requested by Antoine Reilles via - private mail. |