]> git.puffer.fish Git - matthieu/frr.git/commit
projects / matthieu / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d0812a) | patch
build: trigger fewer unneccessary clippy rebuilds
authorDavid Lamparter <equinox@diac24.net>
Wed, 15 Aug 2018 22:03:58 +0000 (00:03 +0200)
committerDavid Lamparter <equinox@opensourcerouting.org>
Thu, 30 Aug 2018 06:06:44 +0000 (08:06 +0200)
commitb716e79ac5997cd8b5bb0b5b270e77bbfa438fad
tree83120e47f130abf709306b00580f847b1d26fa59tree | snapshot
parent0d0812a4ad09955058ae09ce3240ac380de53bfccommit | diff
build: trigger fewer unneccessary clippy rebuilds

Make sure we include the clippy binary file in our timestamp mangling so
`make` will correctly determine when clippy files don't need to be
rebuilt.

Signed-off-by: David Lamparter <equinox@diac24.net>
python/clidef.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.