Bug#864812: Support for splint check

2017-06-15 Thread Paul Wise
On Thu, 2017-06-15 at 14:26 +0200, p...@reseau-libre.net wrote: > Using +quiet. Should make it stop printing version/message. Added and pushed. https://anonscm.debian.org/git/collab-maint/check-all-the-things.git/commit/?id=82a8f29c1534edf96e9411e694733ef35e71af7f > I thought debdiff was the re

Bug#864812: Support for splint check

2017-06-15 Thread phil
On 2017-06-15 13:53, Paul Wise wrote: Control: tags -1 + pending Merged locally, made some slight whitespace adjustments because of this message in the splint manual page: -I directory Add directory to path searched for C include files. Note there is no space after the I, to be consisten

Bug#864812: Support for splint check

2017-06-15 Thread Paul Wise
Control: tags -1 + pending On Thu, 2017-06-15 at 11:15 +0200, Philippe Thierry wrote: > Add support for splint static analysis tool > for C source files check. Merged locally, made some slight whitespace adjustments because of this message in the splint manual page: -I directory Add directo

Bug#864812: Support for splint check

2017-06-15 Thread phil
Package: check-all-the-things Version: 2017.05.20 Severity: wishlist As discussed with Pabs, Add support for splint static analysis tool for C source files check. The patch (debdiff) is in attachement of this mail. splint call has been tested on sid. Pabs: you talked of updated the README fil