Merge pull request #16899 from igfoo/igfoo/semmle_dist

Java/Kotlin: Remove legacy $SEMMLE_DIST support
2025-12-17 01:03:14 +01:00 · 2024-07-11 12:48:53 +01:00
parent de9370ae95 ea16f72c6f
commit 311799c798
2 changed files with 4 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.
 		 */