On 14/08/2012, at 20.15, Vincent Toms wrote: > is the best way to stay up to date with the source, > run git pull origin master > each day then run ninja. You can also switch version checks to nightly builds, there is no need to build from source if your goal is just to have a fairly recent build.