summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xglobetrotter/make_live1
1 files changed, 1 insertions, 0 deletions
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");