diff --git a/make-ci.sh b/make-ci.sh
index be7f282..fb29057 100755
--- a/make-ci.sh
+++ b/make-ci.sh
@@ -3,6 +3,7 @@ set -e
 sudo apt-get install -y libhiredis-dev libev-dev
 mkdir -p build
 cd build
-cmake ..
+cmake -Dexamples=ON -Dlib=ON -Dstatic_lib=ON -Dtests=ON ..
 time make
+./test_redox
 cd ..