--- a/src/Pure/System/other_isabelle.scala Mon Jun 16 11:40:35 2025 +0200
+++ b/src/Pure/System/other_isabelle.scala Mon Jun 16 12:18:26 2025 +0200
@@ -111,7 +111,7 @@
val input = """val ML_PLATFORM = Option.getOpt (OS.Process.getEnv "ML_PLATFORM", "")"""
val result = bash("bin/isabelle console -r", input = input)
result.out match {
- case Pattern(a) if result.ok => a
+ case Pattern(a) if result.ok && a.nonEmpty => a
case _ =>
error("Cannot get ML_PLATFORM from other Isabelle: " + isabelle_home +
if_proper(result.err, "\n" + result.err) + error_context)