<div class="gmail_quote">On Fri, Jul 10, 2009 at 1:44 PM, Matthew Fluet <span dir="ltr"><<a href="mailto:fluet@tti-c.org">fluet@tti-c.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I was asking about msys.bat (not mlton.bat), which seems precisely to launch up /bin/sh (that UNIX thing ;).<br>
</blockquote></div><br>Ahhh. I bundle our own msys.bat because the one included by default is buggy. It segfaults on all 64bit machines. It's also patched to not use rxvt.exe which won't load on Windows 7.<br><br>