make_mirror.sh: export SOURCE_DATE_EPOCH for more reproducible disk images

pull/1/head
parent 73b46e1812
commit d70dad0ac9
Signed by: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -412,6 +412,8 @@ cleanuptmpdir() {
rmdir "$tmpdir"
}
export SOURCE_DATE_EPOCH=$(date --date="$(grep-dctrl -s Date -n '' "$newmirrordir/dists/unstable/Release")" +%s)
if [ "$HAVE_QEMU" = "yes" ]; then
# We must not use any --dpkgopt here because any dpkg options still
# leak into the chroot with chrootless mode.
@ -549,7 +551,6 @@ END
fi
mirror="http://127.0.0.1/debian"
SOURCE_DATE_EPOCH=$(date --date="$(grep-dctrl -s Date -n '' "$newmirrordir/dists/unstable/Release")" +%s)
for dist in stable testing unstable; do
for variant in minbase buildd -; do
echo running debootstrap --no-merged-usr --variant=$variant $dist /tmp/debian-$dist-debootstrap $mirror

Loading…
Cancel
Save