diff --git a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java index d97dda5daf3..72933e1a7ad 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java +++ b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java @@ -1249,7 +1249,7 @@ protected DependencyInstallationResult preparePackagesAndDependencies(Set cmd.addAll(xmlExtensions); } else { String command = Env.getOS() == OS.WINDOWS ? "codeql.cmd" : "codeql"; - cmd.add(EnvironmentVariables.getCodeQLDist() + "/" + command); + cmd.add(Paths.get(EnvironmentVariables.getCodeQLDist(), command).toString()); cmd.add("database"); cmd.add("index-files"); cmd.add("--language");