Fixup

DOMjudge · Nov 20, 2023 · 5bd86c7 · 5bd86c7
1 parent 65cb67c
commit 5bd86c7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/jobs/configure-checks/all.bats b/.github/jobs/configure-checks/all.bats
@@ -16,6 +16,8 @@ translate () {
     if [ "$distro_id" = "ID=fedora" ]; then
         args=${args/libcgroup-dev/libcgroup-devel}
         args=${args/ntp/chrony}
+        args=${args/apache2/httpd}
+        args=${args/php-mysql/php-mysqlnd}
     fi
     echo "$args"
 }