On 2012-09-04, Sébastien Willmann <sebastien.willmann at gmail.com> wrote: > Ok, but how do I check that the tests passed? The "tests" make target has been modified in 210d6e1 so that it opens a terminal window but runs non-interactively otherwise. Thus you should be able to check the return status of `make tests`. Best Frank