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 /ripd | |
| 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 'ripd')
| -rw-r--r-- | ripd/subdir.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ripd/subdir.am b/ripd/subdir.am index 0a653412b5..9b86c65517 100644 --- a/ripd/subdir.am +++ b/ripd/subdir.am @@ -35,8 +35,9 @@ ripd_librip_a_SOURCES = \ ripd/ripd.c \ # end -ripd/rip_cli_clippy.c: $(CLIPPY_DEPS) -ripd/rip_cli.$(OBJEXT): ripd/rip_cli_clippy.c +clippy_scan += \ + ripd/rip_cli.c \ + # end noinst_HEADERS += \ ripd/rip_debug.h \ |