From d931eb3ea87578eae490e5cfef1c95b4f91cd073 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Rydg=C3=A5rd?= <hrydgard@gmail.com>
Date: Tue, 15 Jul 2014 22:43:55 +0200
Subject: [PATCH] Add "--release" flag to b.sh

---
 b.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/b.sh b/b.sh
index d2edb7b5da..a53b9abe89 100755
--- a/b.sh
+++ b/b.sh
@@ -12,6 +12,9 @@ fi
 while test $# -gt 0
 do
 	case "$1" in
+		--release)
+			CMAKE_ARGS="-DCMAKE_BUILD_TYPE=Release ${CMAKE_ARGS}"
+			;;
 		--headless) echo "Headless mode enabled"
 			CMAKE_ARGS="-DHEADLESS=ON ${CMAKE_ARGS}"
 			;;