: ${TARGET_ARCH:=arm64}
: ${SOURCE_SERVER:=http://deb.devuan.org/merged}
: ${SECTIONS:="main non-free-firmware main/debian-installer"}
-: ${BUILD:=build}
+: ${BUILD:=$TARGET_ARCH/build}
: ${SOURCES:=$BUILD/sources}
: ${MEDIA:=$BUILD/media}
: ${INITRD:=$BUILD/initrd}
######################################################################
# Pack up $INITRD into a top-level initrd.gz, and copy out vmlinuz
find $INITRD -not -name udebs -printf '%P\n' | \
- fakeroot cpio -o -H newc -D $INITRD | gzip > initrd.gz
-cp $INITRD/boot/vmlinuz .
+ fakeroot cpio -o -H newc -D $INITRD | gzip > $TARGET_ARCH/initrd.gz
+cp $INITRD/boot/vmlinuz $TARGET_ARCH/