Commit a8c5c927 authored by Andreas Marek's avatar Andreas Marek

Do "levels" of make check tests

- per default only some tests are run
- by setting CHECK_LEVEL=extended all test jobs are run
parent 3a0fb34f