Skip to content

Commit 08d44c1

Browse files
authored
Merge pull request github#14019 from michaelnebel/csharp/excludedlls
C#: Exclude dll files when getting files in the dependency manager.
2 parents 0f3918a + 9519363 commit 08d44c1

File tree

1 file changed

+7
-4
lines changed

1 file changed

+7
-4
lines changed

csharp/extractor/Semmle.Extraction.CSharp.DependencyFetching/DependencyManager.cs

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -185,12 +185,15 @@ private void GenerateSourceFilesFromWebViews()
185185

186186
public DependencyManager(string srcDir) : this(srcDir, DependencyOptions.Default, new ConsoleLogger(Verbosity.Info)) { }
187187

188-
private IEnumerable<string> GetFiles(string pattern, bool recurseSubdirectories = true)
189-
{
190-
return sourceDir.GetFiles(pattern, new EnumerationOptions { RecurseSubdirectories = recurseSubdirectories, MatchCasing = MatchCasing.CaseInsensitive })
188+
private IEnumerable<string> GetFiles(string pattern, bool recurseSubdirectories = true) =>
189+
sourceDir.GetFiles(pattern, new EnumerationOptions
190+
{
191+
RecurseSubdirectories = recurseSubdirectories,
192+
MatchCasing = MatchCasing.CaseInsensitive
193+
})
194+
.Where(d => d.Extension != ".dll")
191195
.Select(d => d.FullName)
192196
.Where(d => !options.ExcludesFile(d));
193-
}
194197

195198
/// <summary>
196199
/// Computes a unique temp directory for the packages associated

0 commit comments

Comments
 (0)