#6666: fix bug in trace.py that applied the list of ignored dirs only to 1st file
2 files changed