[MLton-devel] mlton crash

[Alain Deutsch]

On Tue, 27 Aug 2002, Matthew Fluet wrote:

> That seems to be the RedHat 7.3 vs RedHat 7.1 bug that has been showing
> up.  It looks like Stephen built the release on a RedHat 7.3 machine.  If
> that is not the case, then we have a little more to go on, because I just
> verified that the release candidate causes the command line bug I
> documented yesterday on a RedHat 7.1 machine but not on a RedHat 7.3
> machine (or a Mandrake 8.1 machine).

As a matter of fact, I am running 7.2, not 7.3.

--
Alain Deutsch, CTO              tel.: +33 (0)1 49 65 32 64
PolySpace Technologies          fax.: +33 (0)1 49 65 05 77
mailto:deutsch@POLYSPACE.COM    http://www.polyspace.com



-------------------------------------------------------
This sf.net email is sponsored by: OSDN - Tired of that same old
cell phone?  Get a new here for FREE!
https://www.inphonic.com/r.asp?r=sourceforge1&refcode1=vs3390
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel