Skip compilation when no tests match filter#1191

robindust-ce wants to merge 2 commits intoVUnit:masterVUnit/vunit:masterfrom

robindust-ce:feature/skip-compilation-no-matching-testsrobindust-ce/vunit:feature/skip-compilation-no-matching-testsCopy head branch name to clipboard