diff options
Diffstat (limited to 'development/splint/README')
-rw-r--r-- | development/splint/README | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/development/splint/README b/development/splint/README index ff6b7c4a30c1a..4abaf535d3491 100644 --- a/development/splint/README +++ b/development/splint/README @@ -16,3 +16,7 @@ Splint is designed to be flexible and allow programmers to select appropriate points on the effort-benefit curve for particular projects. As different checks are turned on and more information is given in code annotations the number of bugs that can be detected increases dramatically. + +This package configures splint als the default lint if no other command by +that name is encountered on the system. + |