hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Address review.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2022-05-10 08:06:25 +00:00
committed by GitHub
parent bf0e32ae82
commit 40503aa368
1 changed files with 1 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
csharp/tools/tracing-config.lua
View File

@@ -1,10 +1,7 @@
function RegisterExtractorPack()
local extractor = GetPlatformToolsDirectory() ..
'Semmle.Extraction.CSharp.Driver'
if OperatingSystem == 'windows' then
extractor = GetPlatformToolsDirectory() ..
'Semmle.Extraction.CSharp.Driver.exe'
end
if OperatingSystem == 'windows' then extractor = extractor .. '.exe' end
local windowsMatchers = {
CreatePatternMatcher({'^dotnet%.exe$'}, MatchCompilerName, extractor,
{prepend = {'--dotnetexec', '--cil'}}),