diff options
Diffstat (limited to 'partitions')
-rw-r--r-- | partitions/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/partitions/Makefile b/partitions/Makefile index 5664e5e..1007a5c 100644 --- a/partitions/Makefile +++ b/partitions/Makefile | |||
@@ -3,10 +3,14 @@ | |||
3 | 3 | ||
4 | all: whole.img | 4 | all: whole.img |
5 | 5 | ||
6 | whole.img: | 6 | stage0_efi_file = ../import-grub-bootx64-efi/3/BOOTX64.EFI |
7 | $(stage0_efi_file): | ||
8 | make -C ../import-grub-bootx64-efi ver=3 | ||
9 | |||
10 | whole.img: $(stage0_efi_file) | ||
7 | partvi | 11 | partvi |
8 | 12 | ||
9 | key.img: | 13 | key.img: $(stage0_efi_file) |
10 | partvi key | 14 | partvi key |
11 | 15 | ||
12 | PERSIST_SIZE=20G | 16 | PERSIST_SIZE=20G |