Use SOURCE_DATE_EPOCH for the partition-id of /efi.img

This commit is contained in:
Roland Clobus 2020-10-04 13:51:14 +02:00 committed by Luca Boccassi
parent 9712c46cff
commit 760684b1e2
1 changed files with 1 additions and 1 deletions

View File

@ -75,7 +75,7 @@ grub-mkimage -O "$platform" \
# headroom seems to be enough; (x+31)/32*32 rounds up to multiple of 32.
mkfs.msdos -C "$outdir/efi.img" \
$(( ($(stat -c %s "$workdir/boot$efi_name.efi") / 1024 + 55) \
/ 32 * 32 ))
/ 32 * 32 )) -i ${SOURCE_DATE_EPOCH}
mmd -i "$outdir/efi.img" ::efi
mmd -i "$outdir/efi.img" ::efi/boot
mcopy -m -i "$outdir/efi.img" "$workdir/boot$efi_name.efi" \