diff --git a/Makefile b/Makefile index b709d14a9d..83381613b0 100644 --- a/Makefile +++ b/Makefile @@ -97,7 +97,7 @@ ifeq ($(strip $(HAVE_DOTCONFIG)),) NOCOMPILE:=1 endif ifneq ($(MAKECMDGOALS),) -ifneq ($(filter %config %clean,$(MAKECMDGOALS)),) +ifneq ($(filter %config %clean cross%,$(MAKECMDGOALS)),) NOCOMPILE:=1 endif ifeq ($(MAKECMDGOALS), %clean)