On 02/09/2012 06:54 PM, Michael Meeks wrote: > * make check triggers build > + make it as easy as possible to run checks (Stephan) > + 'make check' is simpler > + hopefully time it takes to re-run a pristine make will > improve over time (Norbert) Seen fixed. Thanks a lot. Stephan