From 1cf87ebde398cc6c998392ae1c485a96c1dc1244 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thomas=20Wei=C3=9Fschuh?= <thomas@t-8ch.de>
Date: Wed, 8 Jan 2025 22:48:57 +0100
Subject: [PATCH] Fix devtools location on archive server
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

The packages in the archive are always inside a subdirectory.
Replicate the fix done for two lines above in
commit 2cb94138f698 ("Fix location of devtools-20210202-3-any fallback")

Signed-off-by: Thomas Weißschuh <thomas@t-8ch.de>
---
 repro.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repro.in b/repro.in
index 75f1660..998482b 100755
--- a/repro.in
+++ b/repro.in
@@ -369,7 +369,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}"