Makefile: easy way to regenerate pxe setup

2024-11-12 01:21:11 +01:00 · 2024-11-12 01:21:11 +01:00 · cdcb58cc0b
parent c2464ed3ba
commit cdcb58cc0b
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@ -44,6 +44,11 @@ boot_iso_uefi_secureboot:
 		-drive file=deploy/iso/workbench_debug.iso,cache=none,if=virtio,format=raw,index=0,media=disk \
 		-boot menu=on

+# when you change something, you need to refresh it this way
+regenerate_pxe_install:
+	./deploy-workbench.sh
+	pxe/install-pxe.sh
+
 es_gen:
 	$(MAKE) es_gen_po
 	$(MAKE) es_gen_mo