From f5247007673c9d6168f188b347d9ebd4dad89edf Mon Sep 17 00:00:00 2001
From: Konstantinos Sideris <sideris.konstantin@gmail.com>
Date: Thu, 7 Dec 2017 23:07:30 +0200
Subject: [PATCH] Add release target on the Makefile

closes #146

[ci skip]
---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index fbbbed9b..7cd40baf 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,10 @@ release-debug:
 	@cmake -H. -GNinja -Bbuild -DCMAKE_BUILD_TYPE=RelWithDebInfo
 	@cmake --build build
 
+release:
+	@cmake -H. -Bbuild -DCMAKE_BUILD_TYPE=RelWithDebInfo
+	@cmake --build build
+
 linux-appimage:
 	@./.ci/linux/deploy.sh