From 1d841a365f97fd9c9d11396cf8e028d43cd8984b Mon Sep 17 00:00:00 2001
From: Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
Date: Tue, 7 Mar 2017 06:35:45 -0400
Subject: [PATCH] =?UTF-8?q?added=20missing=20release=20variant=20to=20?=
 =?UTF-8?q?=E2=80=9Amake=20everything=E2=80=98?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

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