diff options
author | Juan RP <xtraeme@gmail.com> | 2013-05-20 16:00:34 +0200 |
---|---|---|
committer | Juan RP <xtraeme@gmail.com> | 2013-05-20 16:00:34 +0200 |
commit | dfb3ade8c5139364aa108d5bc25635c27dadf797 (patch) | |
tree | 18ea52d1dd3327a09d94be1d92908d76c3f4d881 | |
parent | b557955207e181c1e00e089ec5bbaa3d393002a5 (diff) | |
download | hrmpf-dfb3ade8c5139364aa108d5bc25635c27dadf797.tar.gz hrmpf-dfb3ade8c5139364aa108d5bc25635c27dadf797.tar.xz hrmpf-dfb3ade8c5139364aa108d5bc25635c27dadf797.zip |
Make sure all filesystems in targetdir are unmounted.
-rw-r--r-- | installer.sh.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/installer.sh.in b/installer.sh.in index 40c2226..2a8e988 100644 --- a/installer.sh.in +++ b/installer.sh.in @@ -683,7 +683,7 @@ mount_filesystems() { umount_filesystems() { local f - for f in sys proc dev; do + for f in sys/fs/fuse/connections sys proc dev; do echo "Unmounting $TARGETDIR/$f..." >$LOG umount $TARGETDIR/$f >$LOG 2>&1 done |