diff --git a/.github/workflows/build-on-pull-request.yml b/.github/workflows/build-on-pull-request.yml
index 9158f7731..376dc9560 100644
--- a/.github/workflows/build-on-pull-request.yml
+++ b/.github/workflows/build-on-pull-request.yml
@@ -29,7 +29,7 @@ jobs:
         run: make -j2 bin USER_CFLAGS=-Werror
       - name: Build the dbginfo example
         shell: bash
-        run: make -j2 src dbginfo
+        run: make -j2 -C src dbginfo
       - name: Build the utilities.
         shell: bash
         run: make -j2 util