Skip to content

Commit 1cf87eb

Browse files
committed
Fix devtools location on archive server
The packages in the archive are always inside a subdirectory. Replicate the fix done for two lines above in commit 2cb9413 ("Fix location of devtools-20210202-3-any fallback") Signed-off-by: Thomas Weißschuh <[email protected]>
1 parent 210f9d0 commit 1cf87eb

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

repro.in

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -369,7 +369,7 @@ function cmd_check(){
369369
DEVTOOLS_PKG="$ARCHIVEURL/d/devtools/${DEVTOOLS}.pkg.tar.zst"
370370
elif [[ "${BUILDTOOL}" = devtools ]] ; then
371371
DEVTOOLS="${BUILDTOOL}-${BUILDTOOLVER}"
372-
DEVTOOLS_PKG="$ARCHIVEURL/${BUILDTOOL:0:1}/${DEVTOOLS}.pkg.tar${pkg##*tar}"
372+
DEVTOOLS_PKG="$ARCHIVEURL/${BUILDTOOL:0:1}/${BUILDTOOL}/${DEVTOOLS}.pkg.tar${pkg##*tar}"
373373
fi
374374
msg2 "Using devtools version: %s" "${DEVTOOLS}"
375375

0 commit comments

Comments
 (0)