Merge branch 'main' into redsun82/kotlin

2025-12-17 01:03:14 +01:00 · 2024-05-06 17:24:53 +02:00
parent 52a015fb11 5c74bebe6c
commit 239b6d8c8e
357 changed files with 4622 additions and 4212 deletions
--- a/java/kotlin-extractor/src/main/java/com/semmle/util/process/Env.java
+++ b/java/kotlin-extractor/src/main/java/com/semmle/util/process/Env.java
@@ -276,7 +276,6 @@ public class Env {
 		 */
 		ODASA_SRC,
 		ODASA_DB,
-		ODASA_BUILD_ERROR_DIR,
 		TRAP_FOLDER,
 		SOURCE_ARCHIVE,
 		ODASA_OUTPUT,