Re: [julia-users] Julia version mismatch

2016-02-08 Thread Zheng Wendell
After `make cleanall`, the problem is solved. Thanks! @Mauro

Re: [julia-users] Julia version mismatch

2016-01-30 Thread Mauro
Here's one of the issues: https://github.com/JuliaLang/julia/issues/13035 Looks like make cleanall probably didn't help, instead/as well delete src/julia_version.h and rebuild. M On Fri, 2016-01-29 at 18:37, Mauro wrote: > You have do to a > > make cleanall > > and recompile. Happened to me, i

Re: [julia-users] Julia version mismatch

2016-01-29 Thread Mauro
You have do to a make cleanall and recompile. Happened to me, it's on github somewhere. On Fri, 2016-01-29 at 17:55, Sisyphuss wrote: > I have this problem: > > When I type > Julia --version > > it shows that I am in 0.4.2-pre > > But when I enter the Julia REPL, > I am in 0.4.4-pre+24

[julia-users] Julia version mismatch

2016-01-29 Thread Sisyphuss
I have this problem: When I type Julia --version it shows that I am in 0.4.2-pre But when I enter the Julia REPL, I am in 0.4.4-pre+24