From 819fc49d8221b578017bd9ef711c3a8c08023b7f Mon Sep 17 00:00:00 2001
From: Ulrich Dangel <mru@grml.org>
Date: Mon, 12 Dec 2011 19:49:24 +0100
Subject: [PATCH] Umount /proc/sys/fs/binfmt_misc before umounting /proc.

Thanks to dileks for debugging it.
---
 grml-live | 1 +
 1 file changed, 1 insertion(+)

diff --git a/grml-live b/grml-live
index e8172ff..1e6b6c3 100755
--- a/grml-live
+++ b/grml-live
@@ -148,6 +148,7 @@ LIVE_CONF=/etc/grml/grml-live.conf
 # umount all directories {{{
 umount_all() {
    # make sure we don't leave any mounts - FAI doesn't remove them always
+   umount $CHROOT_OUTPUT/proc/sys/fs/binfmt_misc 2>/dev/null || /bin/true
    umount $CHROOT_OUTPUT/proc 2>/dev/null || /bin/true
    umount $CHROOT_OUTPUT/sys  2>/dev/null || /bin/true
    umount $CHROOT_OUTPUT/dev/pts 2>/dev/null || /bin/true
-- 
2.1.4