[arvados-dev] updated: 5620086aae58a7f13773fce775aef1b57a3b770c

[git repository hosting]

Summary of changes:
 jenkins/testing_to_stable_publish_packages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

       via  5620086aae58a7f13773fce775aef1b57a3b770c (commit)
      from  da93424ea7dc5314834e089026f6d06a89412cc8 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 5620086aae58a7f13773fce775aef1b57a3b770c
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Thu Apr 11 09:16:35 2024 -0400

    Use createrepo_c, no issue #
    
    Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz at curii.com>

diff --git a/jenkins/testing_to_stable_publish_packages.sh b/jenkins/testing_to_stable_publish_packages.sh
index a06a920..053ac7d 100755
--- 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

-----------------------------------------------------------------------


hooks/post-receive
--