diff options
| -rw-r--r-- | payloads/external/Makefile.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/payloads/external/Makefile.inc b/payloads/external/Makefile.inc index ecb3041db4..941af61689 100644 --- a/payloads/external/Makefile.inc +++ b/payloads/external/Makefile.inc @@ -53,6 +53,8 @@ seabios: payloads/external/SeaBIOS/seabios/out/vgabios.bin: seabios payloads/external/SeaBIOS/seabios/out/bios.bin.elf: seabios +payloads/external/SeaBIOS/seabios/.config: seabios +payloads/external/SeaBIOS/seabios/out/autoversion.h: seabios filo: $(MAKE) -C payloads/external/FILO -f Makefile.inc \ @@ -63,6 +65,8 @@ filo: CONFIG_FILO_STABLE=$(CONFIG_FILO_STABLE) payloads/external/FILO/filo/build/filo.elf: filo +payloads/external/FILO/filo/.config: filo +payloads/external/FILO/filo/build/version.h: filo grub2: $(MAKE) -C payloads/external/GRUB2 -f Makefile.inc \ |