diff --git a/.github/jobs/configure-checks/all.bats b/.github/jobs/configure-checks/all.bats
index 4701c3891d..ee5a68c3f6 100755
--- a/.github/jobs/configure-checks/all.bats
+++ b/.github/jobs/configure-checks/all.bats
@@ -44,6 +44,10 @@ run_user_stderr () {
     su $u -c "$*" 2>&1
 }
 
+run_stderr () {
+    "$*" 2>&1
+}
+
 run_configure () {
     su $u -c "./configure $*"
 }
@@ -481,7 +485,7 @@ compile_assertions_finished () {
   fi
   setup
   run run_configure
-  make install-domserver
+  run_stderr make install-domserver
   run_user_stderr make distclean
   assert_partial "cannot remove"
   assert_partial "Permission denied"