diff --git a/make-ci.sh b/make-ci.sh
index 2fc70b3..90fe6e5 100755
--- a/make-ci.sh
+++ b/make-ci.sh
@@ -24,6 +24,6 @@ cd ../..
 
 # Make redox
 cmake -Dexamples=ON -Dlib=ON -Dstatic_lib=ON -Dtests=ON ..
-time make
+time make VERBOSE=1
 ./test_redox
 cd ..