diff --git a/.circleci/config.yml b/.circleci/config.yml
index 367c909b4..4d32df583 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -43,11 +43,11 @@ jobs:
       - run:
           name: qemu-coreboot
           command: |
-            ./build/make-4.2/make -j4 BOARD=qemu-coreboot
+            ./build/make-4.2/make -j4 BOARD=qemu-coreboot V=1
       - run:
           name: qemu-linuxboot
           command: |
-            ./build/make-4.2/make -j4 BOARD=qemu-linuxboot
+            ./build/make-4.2/make -j4 BOARD=qemu-linuxboot V=1
 workflows:
   version: 2
   build_and_test: