src/Pure/System/mingw.scala
changeset 72432 86f8fcdcff4a
parent 72431 b8b97c49e339
child 73340 0ffcad1f6130
equal deleted inserted replaced
72431:b8b97c49e339 72432:86f8fcdcff4a
    43   def check
    43   def check
    44   {
    44   {
    45     if (Platform.is_windows) {
    45     if (Platform.is_windows) {
    46       get_root
    46       get_root
    47       try { require(Isabelle_System.bash(bash_script("uname -s")).check.out.startsWith("MSYS")) }
    47       try { require(Isabelle_System.bash(bash_script("uname -s")).check.out.startsWith("MSYS")) }
    48       catch { case ERROR(_) => error("Bad msys/mingw installation " + get_root) }
    48       catch { case ERROR(msg) => cat_error("Bad msys/mingw installation " + get_root, msg) }
    49     }
    49     }
    50   }
    50   }
    51 }
    51 }