Should be able to work without this

DOMjudge · Nov 25, 2023 · 7ace1cf · 7ace1cf
1 parent 2799ed7
commit 7ace1cf
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/jobs/configure-checks/all.bats b/.github/jobs/configure-checks/all.bats
@@ -15,10 +15,10 @@ translate () {
     args="$@"
     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}
-        args=${args/glibc-source/glibc}
+        #args=${args/ntp/chrony}
+        #args=${args/apache2/httpd}
+        #args=${args/php-mysql/php-mysqlnd}
+        #args=${args/glibc-source/glibc}
     fi
     echo "$args"
 }