diff --git a/.circleci/config.yml b/.circleci/config.yml
index 37e066158..853a8c7a6 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -50,7 +50,7 @@ jobs:
                  make "package/$PKG/check" V=s
              done
              for PKG in $PKGS ; do
-                 make "package/$PKG/compile" -j3
+                 make "package/$PKG/compile" -j3 V=s
              done
 
       - store_artifacts: