Merge branch 'debian'

[live-boot-grml.git] / debian / patches / 07_support_findiso.patch

diff --git a/debian/patches/07_support_findiso.patch b/debian/patches/07_support_findiso.patch
old mode 100755 (executable)
new mode 100644 (file)
index 540165f..de1d9be
--- a/debian/patches/07_support_findiso.patch
+++ b/debian/patches/07_support_findiso.patch
@@ -10,11 +10,11 @@
 # file is searched inside that ISO file then.
 
 @DPATCH@
-diff --git a/scripts/live b/scripts/live
-index 5681362..12e795b 100755
---- a/scripts/live
-+++ b/scripts/live
-@@ -106,6 +106,11 @@ Arguments ()
+Index: b/scripts/live
+===================================================================
+--- a/scripts/live     2011-07-24 22:07:54.000000000 +0200
++++ b/scripts/live     2011-07-24 22:07:58.000000000 +0200
+@@ -106,6 +106,11 @@
                                export FETCH
                                ;;
  
@@ -26,7 +26,7 @@ index 5681362..12e795b 100755
                        forcepersistentfsck)
                                FORCEPERSISTENTFSCK="Yes"
                                export FORCEPERSISTENTFSCK
-@@ -1629,13 +1634,28 @@ check_dev ()
+@@ -1629,13 +1634,28 @@
                mount -t ${fstype} -o ro,noatime "${devname}" ${mountpoint} || continue
                [ -n "$devuid" ] && echo "$devuid" >> $tried
  
@@ -56,7 +56,7 @@ index 5681362..12e795b 100755
                fi
        fi
  
-@@ -1933,6 +1953,22 @@ mountroot ()
+@@ -1933,6 +1953,22 @@
        # when booting FAI, this simple workaround solves it
        ls /root/* >/dev/null 2>&1