ci: Bump centos stream 10

2025-11-15 16:38:23 +01:00 · 2025-01-02 14:21:07 +01:00
parent 5b3a81f44d
commit faaabfaea7
3 changed files with 4 additions and 7 deletions
--- a/ci/test/03_test_script.sh
+++ b/ci/test/03_test_script.sh
@@ -92,9 +92,7 @@ fi

 if [ -z "$NO_DEPENDS" ]; then
  if [[ $CI_IMAGE_NAME_TAG == *centos* ]]; then
-    SHELL_OPTS="CONFIG_SHELL=/bin/dash"
-    # shellcheck disable=SC1090
-    source "/opt/rh/gcc-toolset-${STREAM_GCC_V}/enable"
+    SHELL_OPTS="CONFIG_SHELL=/bin/ksh"  # Temporarily use ksh instead of dash, until https://bugzilla.redhat.com/show_bug.cgi?id=2335416 is fixed.
  else
    SHELL_OPTS="CONFIG_SHELL="
  fi