diff options
Diffstat (limited to 'python/makefile.py')
| -rw-r--r-- | python/makefile.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/python/makefile.py b/python/makefile.py index 7a682615ef..573871fb68 100644 --- a/python/makefile.py +++ b/python/makefile.py @@ -161,7 +161,10 @@ 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 [ + target + for target in xref_targets + if target + not in [ "bgpd/rfp-example/rfptest/rfptest", "pimd/mtracebis", "tools/ssd", |