On Thursday, April 30, 2015 at 11:29:15 AM UTC-5, Ángel de Vicente wrote:
>
> Angel de Vicente <angel.vicente.garr...@gmail.com> writes: 
>
> > Viral Shah <vi...@mayin.org> writes: 
> >> You may see some better performance with julia 0.4-dev. The other 
> >> thing to do that is easy is to start julia with the -O option that 
> >> enables some more optimizations in the JIT, that may or may not help. 
> > 
> > thanks for the tip. the -O option works only in 0.4, right? 
>
> sorry about the repeated messages (was configuring access to julia-users 
> from a non-gmail account, thought it was not working and resent it, 
> while apparently I just had to wait a few hours for the message to get 
> through) 
>

Don't worry about it; I didn't realize that another version had been posted 
when I approved this message. But that email address should be cleared to 
post now. Sorry!

Reply via email to