diff options
| -rwxr-xr-x | globetrotter/make_live | 1 |
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"); |