Merge pull request #137 from t-8ch/buildtool

Fix devtools location on archive server
archlinux · Jan 27, 2025 · 6729ed3 · 6729ed3
2 parents abea12a + 1cf87eb
commit 6729ed3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/repro.in b/repro.in
@@ -370,7 +370,7 @@ function cmd_check(){
       DEVTOOLS_PKG="$ARCHIVEURL/d/devtools/${DEVTOOLS}.pkg.tar.zst"
     elif [[ "${BUILDTOOL}" = devtools ]] ; then
       DEVTOOLS="${BUILDTOOL}-${BUILDTOOLVER}"
-      DEVTOOLS_PKG="$ARCHIVEURL/${BUILDTOOL:0:1}/${DEVTOOLS}.pkg.tar${pkg##*tar}"
+      DEVTOOLS_PKG="$ARCHIVEURL/${BUILDTOOL:0:1}/${BUILDTOOL}/${DEVTOOLS}.pkg.tar${pkg##*tar}"
     fi
     msg2 "Using devtools version: %s" "${DEVTOOLS}"