diff options
| author | David Lamparter <equinox@diac24.net> | 2020-04-15 10:27:49 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@diac24.net> | 2020-04-27 09:52:41 +0200 |
| commit | 94cfb0692e0499e7ba40908db5259cd19c0e3d5e (patch) | |
| tree | 21dea4bef030b2e9170029235fe2385bda5cf90f /python/firstheader.py | |
| parent | ec8f987e91678b50a4136459bd2351e623c6915d (diff) | |
build: make clippy Makefile rules nicer
These are easy to get subtly wrong, and doing so can cause
nondeterministic failures when racing in parallel builds.
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
Diffstat (limited to 'python/firstheader.py')
0 files changed, 0 insertions, 0 deletions