diff --git a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java index 7247489ee693..0d5fa5619109 100644 --- a/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java +++ b/javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java @@ -1087,6 +1087,12 @@ private Set extractTypeScript( remainingTypeScriptFiles.add(f); } } + for (Map.Entry entry : state.getSnippets().entrySet()) { + if (!extractedFiles.contains(entry.getKey()) + && FileType.forFileExtension(entry.getKey().toFile()) == FileType.TYPESCRIPT) { + remainingTypeScriptFiles.add(entry.getKey()); + } + } if (!remainingTypeScriptFiles.isEmpty()) { extractTypeScriptFiles(remainingTypeScriptFiles, extractedFiles, extractors); }