Kotlin: Remove unused SEMMLE_DIST

2026-04-26 09:15:12 +02:00 · 2024-07-03 17:10:41 +01:00
parent 8defd27b49
commit 3260966e3b
1 changed files with 0 additions and 4 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
@@ -50,10 +50,6 @@ public class Env {
 		 * The location of any caches used by the toolchain, including compilation caches, trap caches, etc.
 		 */
 		SEMMLE_CACHE,
-		/**
-		 * The location of the toolchain files, including the odasa jar, our queries etc.
-		 */
-		SEMMLE_DIST,
 		/**
 		 * If running from a git tree, the root of the tree.
 		 */