From 4bcd6e318705a1fa45ddd203170f05f7f18cb5f7 Mon Sep 17 00:00:00 2001
From: Thierry Vignaud <tvignaud@mandriva.org>
Date: Tue, 29 Jun 2004 06:25:46 +0000
Subject: fix umounting

---
 globetrotter/make_live | 1 +
 1 file changed, 1 insertion(+)

diff --git a/globetrotter/make_live b/globetrotter/make_live
index 00c560c78..cb81d5615 100755
--- a/globetrotter/make_live
+++ b/globetrotter/make_live
@@ -456,4 +456,5 @@ run_program::rooted($::prefix, 'urpmi.addmedia', '-h', 'contrib', 'file:///mnt/p
 # for fast test replaying:
 run_program::rooted($::prefix, 'tar', 'cfj', '/root/etc.tar.bz2', '/etc');
 
+system("umount $::prefix/proc");
 eval { fs::umount_all($fstab, $::prefix) } or system("umount $::prefix"); 
-- 
cgit v1.2.1