]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 102f26e) | patch
build: improve clippy options
authorDavid Lamparter <equinox@diac24.net>
Tue, 4 Jun 2019 13:35:16 +0000 (15:35 +0200)
committerDavid Lamparter <equinox@diac24.net>
Wed, 12 Jun 2019 17:22:59 +0000 (19:22 +0200)
commita71c5039ad6d11dcf1ef28aa23ebf92cf52a8ace
treee51ea89ae07c62a4087c7f56177a3a1b24c4a77btree | snapshot
parent102f26e611f34d0c3006a236165eb90836a403d7commit | diff
build: improve clippy options

* adds a `--with-clippy=...` option to use a prebuilt clippy binary
* limits the autoconf tests done for `--enable-clippy-only`
  (e.g. no libyang)

Fixes: #3921
Fixes: #4006
Signed-off-by: David Lamparter <equinox@diac24.net>
Makefile.am diff | blob | history
configure.ac diff | blob | history
lib/subdir.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.