changeset 72432 | 86f8fcdcff4a |
parent 72431 | b8b97c49e339 |
child 73340 | 0ffcad1f6130 |
--- 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) } } } }