From bc09bc45bc79e3c1759a9e1598eb4f4a2fe2fa71 Mon Sep 17 00:00:00 2001
From: Asger Feldthaus <asgerf@github.com>
Date: Tue, 22 Sep 2020 10:17:30 +0100
Subject: [PATCH] JS: Concatenate paths properly

---
 javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<Path>
       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");