diff options
| -rw-r--r-- | python/makefile.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/python/makefile.py b/python/makefile.py index bd897b750..7a682615e 100644 --- a/python/makefile.py +++ b/python/makefile.py @@ -161,7 +161,12 @@ for clippy_file in clippy_scan: # combine daemon .xref files into frr.xref out_lines.append("") xref_targets = [ - target for target in xref_targets if target not in ["tools/ssd", "vtysh/vtysh"] + target for target in xref_targets if target not in [ + "bgpd/rfp-example/rfptest/rfptest", + "pimd/mtracebis", + "tools/ssd", + "vtysh/vtysh", + ] ] out_lines.append( "xrefs = %s" % (" ".join(["%s.xref" % target for target in xref_targets])) |