[dhcp] Use correct DHCP options on EFI systems
[people/cooldavid/gpxe.git] / src / Makefile.housekeeping
index bf16fde..c5b15d6 100644 (file)
@@ -295,6 +295,7 @@ endif
 # Include architecture-specific include path
 ifdef ARCH
 INCDIRS                += arch/$(ARCH)/include
+INCDIRS                += arch/$(ARCH)/include/$(PLATFORM)
 endif
 
 ###############################################################################