801
801
# Skip excluded paths. Excluded paths are processed by
802
802
# _update_builder_with_changes.
806
806
# Note that when a filter of specific files is given, we must only
807
807
# skip/record deleted files matching that filter.
808
808
if not specific_files or is_inside_any(specific_files, path):