Use the 'release build' just to make things faster

ralphbean · Feb 17, 2015 · 3b10aee · 3b10aee
1 parent 55afe8d
commit 3b10aee
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.tox_build_taskwarrior.sh b/.tox_build_taskwarrior.sh
@@ -3,7 +3,8 @@ if [ ! -d "$1/task" ]; then
     git clone https://git.tasktools.org/scm/tm/task.git $1/task
     cd $1/task
     git checkout $TASKWARRIOR
-    cmake -DCMAKE_INSTALL_PREFIX:PATH=$1 .
+    # Use the 'release build' just to make things faster
+    cmake -DCMAKE_BUILD_TYPE=release -DCMAKE_INSTALL_PREFIX:PATH=$1 .
     make
     make install
     cd $2