diff options
| author | Donald Sharp <donaldsharp72@gmail.com> | 2022-10-13 13:47:04 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-13 13:47:04 -0400 |
| commit | e3e3d729c42505910e0b396899bfd50e2d7b2404 (patch) | |
| tree | fa49a9c2839a88ef7ec339b76e0fe99913c818c9 /python/makefile.py | |
| parent | fd30c2467a9a3afc615923af64f5de91937d268f (diff) | |
| parent | d40aee771f40b72356eb57d4c9d7bfc2622d9577 (diff) | |
Merge pull request #12066 from opensourcerouting/cleanup-cli-xref
*: clean up various CLI-related bits
Diffstat (limited to 'python/makefile.py')
| -rw-r--r-- | python/makefile.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/python/makefile.py b/python/makefile.py index afc993b5b9..bd897b7508 100644 --- a/python/makefile.py +++ b/python/makefile.py @@ -160,6 +160,9 @@ 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"] +] out_lines.append( "xrefs = %s" % (" ".join(["%s.xref" % target for target in xref_targets])) ) |