diff --git a/Makefile.docker b/Makefile.docker index cd5b56e7d612cc71cb851a358c2536cced38bb38..c882b0fe3c1c4e65d6b60dc08b72541b2243dafc 100644 --- a/Makefile.docker +++ b/Makefile.docker @@ -7,6 +7,7 @@ export DOCKER_MAKECMDGOALS_POSSIBLE = \ buildtest \ scan-build \ scan-build-analyze \ + tests-% \ # export DOCKER_MAKECMDGOALS = $(filter $(DOCKER_MAKECMDGOALS_POSSIBLE),$(MAKECMDGOALS))