diff options
author | rillig <rillig@pkgsrc.org> | 2005-12-08 10:43:04 +0000 |
---|---|---|
committer | rillig <rillig@pkgsrc.org> | 2005-12-08 10:43:04 +0000 |
commit | 081ebe2d92004735f9d01965a89b48e75f4aa7d4 (patch) | |
tree | a9dc1265e3b824c4b28d89425f2e06f0bfe70bc3 /pkgtools/pkglint/TODO | |
parent | 2091e9b025c249a766816efba7b6b3cf82b9edbf (diff) | |
download | pkgsrc-081ebe2d92004735f9d01965a89b48e75f4aa7d4.tar.gz |
The option names are now checked if they are in
mk/defaults/options.description.
Diffstat (limited to 'pkgtools/pkglint/TODO')
-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. |