Fixup

DOMjudge · Nov 20, 2023 · 8945f90 · 8945f90
1 parent 4452006
commit 8945f90
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/jobs/configure-checks/all.bats b/.github/jobs/configure-checks/all.bats
@@ -18,6 +18,7 @@ translate () {
         args=${args/ntp/chrony}
         args=${args/apache2/httpd}
         args=${args/php-mysql/php-mysqlnd}
+        args=${args/glibc-source/glibc}
     fi
     echo "$args"
 }
@@ -432,7 +433,7 @@ compile_assertions_finished () {
       php-curl php-json php-xml php-zip composer ntp
   repo-install acl zip unzip mariadb-server apache2 \
       php php-fpm php-gd php-cli php-intl php-mbstring php-mysql \
-      php-curl php-json php-xml php-zip composer ntp
+      php-curl php-json php-xml php-zip composer ntp glibc-source
   run run_configure
   assert_line " * domserver...........: /opt/domjudge/domserver"
   assert_regex "^ \* webserver group\.\.\.\.\.: (www-data|apache|nginx)$"