Umount /proc/sys/fs/binfmt_misc before umounting /proc.

Thanks to dileks for debugging it.

diff --git a/grml-live b/grml-live
index e8172ff..1e6b6c3 100755 (executable)
--- 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