diff --git a/.github/workflows/build-on-pull-request.yml b/.github/workflows/build-on-pull-request.yml
index 7b762844b..9158f7731 100644
--- a/.github/workflows/build-on-pull-request.yml
+++ b/.github/workflows/build-on-pull-request.yml
@@ -27,6 +27,9 @@ jobs:
       - name: Build the tools.
         shell: bash
         run: make -j2 bin USER_CFLAGS=-Werror
+      - name: Build the dbginfo example
+        shell: bash
+        run: make -j2 src dbginfo
       - name: Build the utilities.
         shell: bash
         run: make -j2 util
diff --git a/Makefile b/Makefile
index 29fcbbf96..0eb18f94b 100644
--- a/Makefile
+++ b/Makefile
@@ -50,6 +50,7 @@ test:
 # GNU "check" target, which runs all tests
 check:
 	@$(MAKE) -C .github/checks checkstyle --no-print-directory
+	@$(MAKE) -C src dbginfo               --no-print-directory
 	@$(MAKE) test
 	@$(MAKE) -C targettest platforms      --no-print-directory
 	@$(MAKE) -C samples platforms         --no-print-directory
diff --git a/src/Makefile b/src/Makefile
index 034a2230f..27724028c 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -21,7 +21,7 @@ PROGS = ar65     \
         sim65    \
         sp65
 
-.PHONY: all mostlyclean clean install zip avail unavail bin $(PROGS)
+.PHONY: all mostlyclean clean install zip avail unavail bin $(PROGS) dbginfo
 
 .SUFFIXES:
 
@@ -168,4 +168,7 @@ $(eval $(call OBJS_template,common))
 
 $(foreach prog,$(PROGS),$(eval $(call PROG_template,$(prog))))
 
+dbginfo:
+$(eval $(call PROG_template,dbginfo))
+
 -include $(DEPS)