projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 04bfe4a)
21855: Update URL path for RPMs
authorBrett Smith <brett.smith@curii.com>
Thu, 20 Jun 2024 21:01:54 +0000 (17:01 -0400)
committerBrett Smith <brett.smith@curii.com>
Thu, 20 Jun 2024 21:11:50 +0000 (17:11 -0400)
To match a change on the server side.

Arvados-DCO-1.1-Signed-off-by: Brett Smith <brett.smith@curii.com>

build/run-library.sh patch | blob | history

diff --git a/build/run-library.sh b/build/run-library.sh
index 6bbfa36cdeaf5bd7a128423f881e09eb95186291..33ae754037d1c95c5318a9bbd56c6afaa1c0e54d 100755 (executable)
--- a/build/run-library.sh
+++ b/build/run-library.sh
@@ -473,7 +473,7 @@ test_package_presence() {
     else
       local rpm_root
       case "$TARGET" in
-        rocky8) rpm_root="CentOS/8/dev" ;;
+        rocky8) rpm_root="RHEL/8/dev" ;;
         *)
           echo "FIXME: Don't know RPM URL path for $TARGET, building"
           return 0