Skip to content

Commit 7783f25

Browse files
committed
Merge commit 'refs/pull/105/head' of github.com:archlinux/archlinux-repro
2 parents 7ac27b8 + 2cb9413 commit 7783f25

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

repro.in

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -347,7 +347,7 @@ function cmd_check(){
347347
DEVTOOLS_PKG="devtools"
348348
if [[ -z "${BUILDTOOL}" ]] || [[ "${BUILDTOOL}" = makepkg ]]; then
349349
DEVTOOLS="devtools-20210202-3-any"
350-
DEVTOOLS_PKG="$ARCHIVEURL/${BUILDTOOL:0:1}/${DEVTOOLS}.pkg.tar${pkg##*tar}"
350+
DEVTOOLS_PKG="$ARCHIVEURL/d/devtools/${DEVTOOLS}.pkg.tar${pkg##*tar}"
351351
elif [[ "${BUILDTOOL}" = devtools ]] ; then
352352
DEVTOOLS="${BUILDTOOL}-${BUILDTOOLVER}"
353353
DEVTOOLS_PKG="$ARCHIVEURL/${BUILDTOOL:0:1}/${DEVTOOLS}.pkg.tar${pkg##*tar}"
@@ -482,6 +482,7 @@ rm --recursive /etc/pacman.d/gnupg/
482482
cp --target-directory=/etc/pacman.d/ --recursive /gnupg
483483
echo "faked-system-time ${SOURCE_DATE_EPOCH}" >> /etc/pacman.d/gnupg/gpg.conf
484484
pacstrap -G -U /mnt --needed "\$@"
485+
echo "Installing devtools from $DEVTOOLS_PKG"
485486
# Ignore all dependencies since we only want the file
486487
# Saves us a few seconds and doesn't download a bunch of things
487488
# we are getting rid off

0 commit comments

Comments
 (0)