X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;ds=sidebyside;f=build.sh;h=27868665bd58d36a88c1ca45fe00bfe8b6834210;hb=c64826632a0444433d40f4c5b30a7f4262c348e2;hp=db4a4c78f2acf553a2a2d2f2d85955ac778c2927;hpb=ecf4b69f3047fe914bbf85f3e6b2f2e6da5dab52;p=bootstrapfs.git

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: