Correct option number for DHCP_DNS_SERVERS, and add it to the request
[people/xl0/gpxe.git] / src / net / udp / dhcp.c
index cd8a159..af32f21 100644 (file)
@@ -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_BOOTFILE_NAME, DHCP_EB_ENCAP ),
+                     DHCP_BOOTFILE_NAME, DHCP_DNS_SERVERS, DHCP_EB_ENCAP ),
        DHCP_END
 };