diff options
| -rwxr-xr-x | move/make_live_tree_boot | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/move/make_live_tree_boot b/move/make_live_tree_boot index 89ce3919b..3b97318b3 100755 --- a/move/make_live_tree_boot +++ b/move/make_live_tree_boot @@ -77,19 +77,6 @@ sub remove_light_tree { if (-e $light_prefix) { print "still there:\n"; system('find', $light_prefix); - - foreach my $dest (chomp_(`find $prefix -type l`)) { - my $orig = readlink($dest) or next; - $orig =~ s!/image_$live_name/!$light_prefix/! or next; - - unlink $dest or die "removing $dest failed: $!\n"; - rename $orig, $dest or die "moving $orig to $dest failed: $!\n"; - } - rmdir($_) foreach reverse(chomp_(`find $light_prefix -type d`)); - } - if (-e $light_prefix) { - print "still there:\n"; - system('find', $light_prefix); } } |