From c5d8aec28e209d079a925818df7640c4113f3d74 Mon Sep 17 00:00:00 2001 From: Marco Castelluccio Date: Fri, 29 Mar 2019 10:20:18 +0100 Subject: [PATCH] Remove no longer needed workaround of sorting glob sets Fixes #225 --- src/path_rewriting.rs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/path_rewriting.rs b/src/path_rewriting.rs index f8ccb80b0..e3d447795 100755 --- a/src/path_rewriting.rs +++ b/src/path_rewriting.rs @@ -193,10 +193,6 @@ pub fn rewrite_paths( ) -> CovResultIter { let mut glob_builder = GlobSetBuilder::new(); - // workaround for bug: https://github.com/BurntSushi/ripgrep/issues/1079 - // Some filters foo/* are ignored when not sorted - to_ignore_dirs.sort_unstable(); - for to_ignore_dir in to_ignore_dirs { glob_builder.add(Glob::new(&to_ignore_dir).unwrap()); }