diff --git a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java index 266685e0abf..883b6efb859 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java +++ b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java @@ -461,7 +461,7 @@ public class AutoBuild { warn("No JavaScript or TypeScript code found."); } // ensuring that the finalize steps detects that no code was seen. - Path srcFolder = Paths.get(EnvironmentVariables.getWipDatabase() + "/src"); + Path srcFolder = Paths.get(EnvironmentVariables.getWipDatabase(), "src"); // check that the srcFolder is empty if (Files.list(srcFolder).count() == 0) { // Non-recursive delete because "src/" should be empty.