summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKris Kennaway <kris@FreeBSD.org>2006-01-22 04:55:03 +0000
committerKris Kennaway <kris@FreeBSD.org>2006-01-22 04:55:03 +0000
commitd715faf96751bb0bf38ff9c11db3cf5699d46005 (patch)
tree9dd1597c84bc9534561c3759faed433e9f44ece9
parentPull in buildenv for LOCALBASE/X11BASE locations (diff)
Also clean up linprocfs mounts
-rwxr-xr-xTools/portbuild/scripts/cleanup-chroots1
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/portbuild/scripts/cleanup-chroots b/Tools/portbuild/scripts/cleanup-chroots
index 09c3acb230e9..e2b8e1ceefbb 100755
--- a/Tools/portbuild/scripts/cleanup-chroots
+++ b/Tools/portbuild/scripts/cleanup-chroots
@@ -72,6 +72,7 @@ for i in ${old2}; do
for j in ${mounts}; do
umount ${j} || cleanup_mount ${j}
done
+ umount ${i}/compat/linux/proc || cleanup_mount ${i}/compat/linux/proc
fi
if [ "${use_md_swap}" = "1" ]; then
chrootnum=$(basename $i)