# HG changeset patch
# User wenzelm
# Date 1602360377 -7200
# Node ID 86f8fcdcff4af329f03c6ed9f8fe5bb26d9b5b8e
# Parent  b8b97c49e3392857b598cee16f8ca3ddd2fc1a85
clarified message;

diff -r b8b97c49e339 -r 86f8fcdcff4a src/Pure/System/mingw.scala
--- a/src/Pure/System/mingw.scala	Sat Oct 10 22:05:47 2020 +0200
+++ b/src/Pure/System/mingw.scala	Sat Oct 10 22:06:17 2020 +0200
@@ -45,7 +45,7 @@
     if (Platform.is_windows) {
       get_root
       try { require(Isabelle_System.bash(bash_script("uname -s")).check.out.startsWith("MSYS")) }
-      catch { case ERROR(_) => error("Bad msys/mingw installation " + get_root) }
+      catch { case ERROR(msg) => cat_error("Bad msys/mingw installation " + get_root, msg) }
     }
   }
 }