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}"