mirror of
https://github.com/github/codeql.git
synced 2026-05-30 11:01:24 +02:00
10 lines
264 B
Batchfile
10 lines
264 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%"
|
|
|
|
exit /b %ERRORLEVEL%
|