From c64826632a0444433d40f4c5b30a7f4262c348e2 Mon Sep 17 00:00:00 2001
From: Marc Fiuczynski <mef@cs.princeton.edu>
Date: Thu, 8 Nov 2007 16:26:08 +0000
Subject: [PATCH] It appears that some rpm is mounting /proc, which is not what
 we want.

---
 build.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/build.sh b/build.sh
index db4a4c7..2786866 100755
--- a/build.sh
+++ b/build.sh
@@ -76,6 +76,11 @@ for bootstrapfs in bootstrap-filesystems/*.lst ; do
     [ -n "$packages" ] && yum -c ${vdir}/etc/yum.conf --installroot=${vdir} -y install $packages
     [ -n "$groups" ] && yum -c ${vdir}/etc/yum.conf --installroot=${vdir} -y groupinstall $groups
 
+    if [ -f "${vdir}/proc/cpuinfo" ] ; then
+	echo "WARNING: some RPM appears to have mounted /proc in ${NAME}. Unmounting it!"
+	umount ${vdir}/proc
+    fi
+
     # Create a copy of the ${NAME} bootstrap filesystem w/o the base
     # bootstrap filesystem and make it smaller.  This is a three step
     # process:
-- 
2.43.0