Use createrepo_c, no issue #

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>

diff --git a/jenkins/testing_to_stable_publish_packages.sh b/jenkins/testing_to_stable_publish_packages.sh
index a06a92050075befa2f87bd4e009232e7ed140b12..053ac7d6a677ed9306008ecf3f9cb0952dd151a3 100755 (executable)
--- a/jenkins/testing_to_stable_publish_packages.sh
+++ b/jenkins/testing_to_stable_publish_packages.sh
@@ -71,7 +71,7 @@ if ( echo ${DIST_LIST} |grep -q -E '(centos|rocky)' ); then
       fi
     done
     echo "Recreating repo CentOS/${DIST_DIR_PROD} ..."
-    createrepo ${RPM_REPO_BASE_DIR}/CentOS/${DIST_DIR_PROD}
+    createrepo_c ${RPM_REPO_BASE_DIR}/CentOS/${DIST_DIR_PROD}
   done
 else
   for DISTNAME in ${DIST_LIST}; do