Makefile: and again... actually the direct `make -k check` works as expected, no need for tricks.
Authored by: cboos 2010-04-23
Parent: [r9520]
Child: [r9522]