diff --git a/Makefile b/Makefile index 1f338c0a8..6c8421d81 100644 --- a/Makefile +++ b/Makefile @@ -94,6 +94,7 @@ all: src plugins | lib # Build everything with different profiles: debug, coverage, ... everything: + $(MAKE) RELEASE=1 $(MAKE) DEBUG=1 $(MAKE) COVERAGE=1 $(MAKE) PROFILE=1