From ae277992c23feceff6cb019dc05a6f5c7cc97ae7 Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@etherboot.org>
Date: Tue, 1 Aug 2006 14:12:27 +0000
Subject: [PATCH] Request bootfile name; it doesn't seem to be automatically
 supplied by all servers.

---
 src/net/udp/dhcp.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/net/udp/dhcp.c b/src/net/udp/dhcp.c
index 19e91d72..b214901e 100644
--- a/src/net/udp/dhcp.c
+++ b/src/net/udp/dhcp.c
@@ -55,7 +55,7 @@ static uint8_t dhcp_request_options_data[] = {
 	DHCP_STRING (  'E', 't', 'h', 'e', 'r', 'b', 'o', 'o', 't' ),
 	DHCP_PARAMETER_REQUEST_LIST,
 	DHCP_OPTION ( DHCP_SUBNET_MASK, DHCP_ROUTERS, DHCP_HOST_NAME,
-		      DHCP_EB_ENCAP ),
+		      DHCP_BOOTFILE_NAME, DHCP_EB_ENCAP ),
 	DHCP_END
 };