From d26fbcebbe30c75e2a0db34a418e2c6f0e64ef1e Mon Sep 17 00:00:00 2001
From: Philipp Moritz <pcmoritz@gmail.com>
Date: Sat, 12 Nov 2016 19:35:46 -0800
Subject: [PATCH] switch to release mode (#19)

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 33a1355c8..d82905fb5 100755
--- a/build.sh
+++ b/build.sh
@@ -15,6 +15,6 @@ fi
 
 mkdir -p "$ROOT_DIR/build"
 pushd "$ROOT_DIR/build"
-  cmake ..
+  cmake -DCMAKE_BUILD_TYPE=Release ..
   make install -j$PARALLEL
 popd