mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
10 lines
294 B
Batchfile
10 lines
294 B
Batchfile
@echo off
|
|
|
|
if not defined CODEQL_POWERSHELL_EXTRACTOR (
|
|
set CODEQL_POWERSHELL_EXTRACTOR=Semmle.Extraction.PowerShell.Standalone.exe
|
|
)
|
|
|
|
type NUL && "%CODEQL_EXTRACTOR_POWERSHELL_ROOT%/tools/%CODEQL_PLATFORM%/%CODEQL_POWERSHELL_EXTRACTOR%" ^
|
|
--file-list "%1"
|
|
|
|
exit /b %ERRORLEVEL% |