# HG changeset patch
# User wenzelm
# Date 1625174766 -7200
# Node ID 631b61f06d0eac9cd83006385c9de4f23768c0c2
# Parent  ac1639349ecf88d496b46030be404431315cce6d
tuned signature;

diff -r ac1639349ecf -r 631b61f06d0e src/Tools/Setup/isabelle/setup/Environment.java
--- a/src/Tools/Setup/isabelle/setup/Environment.java	Thu Jul 01 14:06:20 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Environment.java	Thu Jul 01 23:26:06 2021 +0200
@@ -271,6 +271,12 @@
         return _settings;
     }
 
+    public static String getenv(String name)
+        throws IOException, InterruptedException
+    {
+        return settings().getOrDefault(name, "");
+    }
+
     public static synchronized void init(String _isabelle_root, String _cygwin_root)
         throws IOException, InterruptedException
     {
@@ -340,7 +346,7 @@
     public static String cygwin_root()
         throws IOException, InterruptedException
     {
-        return settings().getOrDefault("CYGWIN_ROOT", "");
+        return getenv("CYGWIN_ROOT");
     }
 
     public static String standard_path(String platform_path)