diff options
| author | kris <kris@FreeBSD.org> | 2006-01-22 12:55:03 +0800 |
|---|---|---|
| committer | kris <kris@FreeBSD.org> | 2006-01-22 12:55:03 +0800 |
| commit | 2c1db44ec7f1555a4062fa9a86744aa1e238972f (patch) | |
| tree | a17871b086c17b48c46f4940b090531771d7478b /Tools | |
| parent | 90db1ed0894de8d8a1e17161de4eac7622d4223c (diff) | |
| download | freebsd-ports-graphics-2c1db44ec7f1555a4062fa9a86744aa1e238972f.tar.gz freebsd-ports-graphics-2c1db44ec7f1555a4062fa9a86744aa1e238972f.tar.zst freebsd-ports-graphics-2c1db44ec7f1555a4062fa9a86744aa1e238972f.zip | |
Also clean up linprocfs mounts
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/cleanup-chroots | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/portbuild/scripts/cleanup-chroots b/Tools/portbuild/scripts/cleanup-chroots index 09c3acb230e..e2b8e1ceefb 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) |