Change nodhcp patch to unset the DHCP option as well

[live-boot-grml.git] / debian / patches / 16_nodhcp.dpatch

diff --git a/debian/patches/16_nodhcp.dpatch b/debian/patches/16_nodhcp.dpatch
index 7558a89..8f52d21 100755 (executable)
--- a/debian/patches/16_nodhcp.dpatch
+++ b/debian/patches/16_nodhcp.dpatch
@@ -7,14 +7,13 @@
 @DPATCH@
 
 diff --git a/scripts/live b/scripts/live
-index d79beed..0b698de 100755
+index 5681362..46ef54b 100755
 --- a/scripts/live
 +++ b/scripts/live
-@@ -83,7 +83,8 @@ Arguments ()
-                               ;;
+@@ -88,6 +88,8 @@ Arguments ()
  
                        nodhcp)
--                              unset DHCP
+                               unset DHCP
 +                              NODHCP="Yes"
 +                              export NODHCP
                                ;;