vinzenz/redox
0
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Add extra space for livedisk-efi.iso target

Browse source
This commit is contained in:
Jeremy Soller 2019-10-05 10:04:42 -06:00
parent f6d65aee63
commit d05b0844aa
No known key found for this signature in database
GPG key ID: E988B49EE78A7FB1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
mk/disk.mk
View file

@ -43,7 +43,7 @@ build/harddrive-efi.bin: build/bootloader.efi build/filesystem.bin
cat $@.partial build/filesystem.bin > $@ cat $@.partial build/filesystem.bin > $@
build/livedisk-efi.iso: build/bootloader.efi build/kernel_live build/livedisk-efi.iso: build/bootloader.efi build/kernel_live
dd if=/dev/zero of=$@.partial bs=1048576 count=$$(du -mc $^ | grep 'total$$' | cut -f1) dd if=/dev/zero of=$@.partial bs=1048576 count=$$(expr $$(du -mc $^ | grep 'total$$' | cut -f1) + 1)
mkfs.vfat $@.partial mkfs.vfat $@.partial
mmd -i $@.partial efi mmd -i $@.partial efi
mmd -i $@.partial efi/boot mmd -i $@.partial efi/boot