Try to gather the stderr

DOMjudge · Oct 28, 2024 · 060a088 · 060a088
1 parent 3aed804
commit 060a088
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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"