]> git.ipfire.org Git - thirdparty/unbound.git/commitdiff
Add splint to run make lint.
authorWouter Wijngaards <wouter@nlnetlabs.nl>
Thu, 18 Apr 2019 11:29:31 +0000 (11:29 +0000)
committerWouter Wijngaards <wouter@nlnetlabs.nl>
Thu, 18 Apr 2019 11:29:31 +0000 (11:29 +0000)
git-svn-id: file:///svn/unbound/trunk@5172 be551aaa-1e26-0410-a405-d3ace91eadb9

.travis.yml

index 137aa6f757573b6270348c6817d2e7b8524923a0..2ab15b20e76d5f7659c7bd1f8e7cda8f03200fc4 100644 (file)
@@ -9,6 +9,7 @@ addons:
     - libevent-dev
     - libexpat-dev
     - clang
+    - splint
 script:
   - ./configure --enable-debug --disable-flto
   - make