CI: do verbose "make buildtest"

RIOT-OS · May 12, 2022 · 95ac31f · 95ac31f
1 parent 3c1f13f
commit 95ac31f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -96,7 +96,7 @@ jobs:
 
       - name: GNU build test
         run: |
-          make -CRIOT/examples/hello-world buildtest
+          make -CRIOT/examples/hello-world BUILDTEST_MAKE_REDIRECT='' buildtest
         env:
           BUILD_IN_DOCKER: 1
           DOCKER_IMAGE: ${{ env.DOCKER_REGISTRY }}/riotbuild:latest
@@ -120,7 +120,7 @@ jobs:
 
       - name: LLVM build test
         run: |
-          make -CRIOT/examples/hello-world buildtest
+          make -CRIOT/examples/hello-world BUILDTEST_MAKE_REDIRECT='' buildtest
         env:
           TOOLCHAIN: llvm
           BUILD_IN_DOCKER: 1
@@ -137,7 +137,7 @@ jobs:
           # Note that `git switch master` does not work because the checkout
           # action does only minimal fetching.
           (cd RIOT && git fetch origin master && git checkout FETCH_HEAD)
-          make -CRIOT/examples/rust-hello-world buildtest
+          make -CRIOT/examples/rust-hello-world BUILDTEST_MAKE_REDIRECT='' buildtest
           (cd RIOT && git switch -)
         env:
           BUILD_IN_DOCKER: 1