diff options
| author | Thierry Vignaud <tvignaud@mandriva.org> | 2004-06-29 06:25:46 +0000 |
|---|---|---|
| committer | Thierry Vignaud <tvignaud@mandriva.org> | 2004-06-29 06:25:46 +0000 |
| commit | 4bcd6e318705a1fa45ddd203170f05f7f18cb5f7 (patch) | |
| tree | 89d4945b6888ea7a2ae0a57639a8e526af120638 /globetrotter | |
| parent | 8afbb185c4e510a120ea40c5493a1ca8f5735929 (diff) | |
| download | drakx-4bcd6e318705a1fa45ddd203170f05f7f18cb5f7.tar drakx-4bcd6e318705a1fa45ddd203170f05f7f18cb5f7.tar.gz drakx-4bcd6e318705a1fa45ddd203170f05f7f18cb5f7.tar.bz2 drakx-4bcd6e318705a1fa45ddd203170f05f7f18cb5f7.tar.xz drakx-4bcd6e318705a1fa45ddd203170f05f7f18cb5f7.zip | |
fix umounting
Diffstat (limited to 'globetrotter')
| -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"); |