<div dir="ltr"><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, May 30, 2013 at 10:05 AM, Paul Bone <span dir="ltr"><<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Wed, May 29, 2013 at 05:44:03PM +1000, Julien Fischer wrote:<br>
>>> +<br>
>>> +* Various build problems on Solaris and NetBSD have been fixed.<br>
>>> +* The C# compiler for use by the csharp grade can now be specified using<br>
>>> +  a new option to the configure script, `--with-csharp-compiler'.  This<br>
>>> +  fixes a problem where it was not possible to build the Mercury libraries<br>
>>> +  in the csharp grade against version 4.0 of the .NET framework using<br>
>>> +  Mono.  (See README.CSharp for further details.)<br>
>>> +* In C grades, closing a file stream multiple times no longer causes a<br>
>>> +  segmentation fault on Linux.  (Bug #161)<br>
>><br>
>> Not really Linux specific.<br>
><br>
> I'll delete that bit.  (Although on some sytems, for example Mac OS X, it<br>
> never caused a seg fault.)<br>
><br>
<br>
</div>Rather than say "causes a segmentation fault on Linux" you could say "can<br>
cause a segmentation fault on some systems".<br></blockquote><div><br></div><div>That's pretty much what I ended up saying.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<br>
What are the problems on non-linux systems?  Because then you could say<br>
"corrupts memory state and may cause a segmentation fault (on some<br>
systems)", or similar.<br></blockquote><div><br></div><div>On Mac OS X (the only other one I looked at) there wasn't a problem.</div><div>Cheers,</div><div>Julien.</div><div><br></div><div><br></div><div><br></div>
<div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Paul Bone<br>
<a href="http://www.bone.id.au" target="_blank">http://www.bone.id.au</a><br>
</font></span></blockquote></div><br></div></div>