зеркало из https://github.com/github/codeql.git
JS: Call codeql.exe instead of codeql.cmd
This commit is contained in:
Родитель
bc09bc45bc
Коммит
d34bd51f61
|
@ -1248,7 +1248,7 @@ protected DependencyInstallationResult preparePackagesAndDependencies(Set<Path>
|
|||
cmd.add("--extensions");
|
||||
cmd.addAll(xmlExtensions);
|
||||
} else {
|
||||
String command = Env.getOS() == OS.WINDOWS ? "codeql.cmd" : "codeql";
|
||||
String command = Env.getOS() == OS.WINDOWS ? "codeql.exe" : "codeql";
|
||||
cmd.add(Paths.get(EnvironmentVariables.getCodeQLDist(), command).toString());
|
||||
cmd.add("database");
|
||||
cmd.add("index-files");
|
||||
|
|
Загрузка…
Ссылка в новой задаче