diff options
Diffstat (limited to 'source/installer/build_installer.sh')
| -rwxr-xr-x | source/installer/build_installer.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/source/installer/build_installer.sh b/source/installer/build_installer.sh index ea253fc59..bf77acca5 100755 --- a/source/installer/build_installer.sh +++ b/source/installer/build_installer.sh @@ -1201,9 +1201,9 @@ echo "Syncing filesystems." sync echo "Unmounting filesystems:" # Try to unmount these bind mounts first to prevent them from blocking unmount of the target /: -umount /mnt/dev 2> /dev/null -umount /mnt/proc 2> /dev/null -umount /mnt/sys 2> /dev/null +umount -R /mnt/dev 2> /dev/null +umount -R /mnt/proc 2> /dev/null +umount -R /mnt/sys 2> /dev/null /bin/umount -v -a -t no,proc,sysfs,devtmpfs,fuse.gvfsd-fuse,tmpfs sync echo "Rebooting." |