hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 11:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #14016 from hvitved/csharp/codeql-threads

Browse Source 
C#: Respect `$CODEQL_THREADS` environment variable
This commit is contained in:
Tom Hvitved
2023-08-22 13:04:48 +02:00
committed by GitHub
parent 00c0ebe9e4 6bb37ca465
commit 31738a37ae
5 changed files with 31 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/extractor/Semmle.Extraction/Options.cs
View File

@@ -13,7 +13,7 @@ namespace Semmle.Extraction
/// <summary>
/// The specified number of threads, or the default if unspecified.
/// </summary>
public int Threads { get; private set; } = System.Environment.ProcessorCount;
public int Threads { get; private set; } = EnvironmentVariables.GetDefaultNumberOfThreads();
/// <summary>
/// The verbosity used in output and logging.