# HG changeset patch
# User wenzelm
# Date 1750069106 -7200
# Node ID 06372c3aa2c77ce71002c4b3922bd9d7f3fadf88
# Parent  8d20404f53078b229fc006e2e4cc3637ec1aea65
more robust;

diff -r 8d20404f5307 -r 06372c3aa2c7 src/Pure/System/other_isabelle.scala
--- 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)