From 5018589a74c03ed6ec712b5549844760e73d2bd2 Mon Sep 17 00:00:00 2001
From: Tobias Powalowski <tpowa@archlinux.org>
Date: Wed, 18 Sep 2013 15:53:26 +0200
Subject: [PATCH] fix unmounting of /sys part2

---
 usr/share/archboot/installer/setup | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/usr/share/archboot/installer/setup b/usr/share/archboot/installer/setup
index f5b7de37c..16428879b 100755
--- a/usr/share/archboot/installer/setup
+++ b/usr/share/archboot/installer/setup
@@ -120,9 +120,9 @@ chroot_mount()
 #
 chroot_umount()
 {
-    umount "${DESTDIR}/proc"
-    umount "${DESTDIR}/sys"
-    umount "${DESTDIR}/dev"
+    umount -R "${DESTDIR}/proc"
+    umount -R "${DESTDIR}/sys"
+    umount -R "${DESTDIR}/dev"
     mount --make-rshared /sys/fs/cgroup
 }