Browse Source

Makefile.docker: reverse filter arguments for MAKECMDGOALS

pr/spi.typo
Joakim Nohlgård 6 years ago
parent
commit
8145547659
  1. 2
      Makefile.docker

2
Makefile.docker

@ -8,7 +8,7 @@ export DOCKER_MAKECMDGOALS_POSSIBLE = \
scan-build \
scan-build-analyze \
#
export DOCKER_MAKECMDGOALS = $(filter $(MAKECMDGOALS),$(DOCKER_MAKECMDGOALS_POSSIBLE))
export DOCKER_MAKECMDGOALS = $(filter $(DOCKER_MAKECMDGOALS_POSSIBLE),$(MAKECMDGOALS))
# Docker creates the files .dockerinit and .dockerenv in the root directory of
# the container, we check for the files to determine if we are inside a container.

Loading…
Cancel
Save