Processed: pbuilder: fails to upgrade chroot: "umount: /dev/shm: device is busy."

Tue Jul 16 04:03:07 UTC 2013

Processing control commands:

> clone -1 -2
Bug #709053 [pbuilder] pbuilder: fails to upgrade chroot: "umount: /dev/shm: device is busy."
Bug 709053 cloned as bug 717022
> retitle -1 pbuilder over-mounts /dev/shm on host after chroot upgraded from squeeze
Bug #709053 [pbuilder] pbuilder: fails to upgrade chroot: "umount: /dev/shm: device is busy."
Changed Bug title to 'pbuilder over-mounts /dev/shm on host after chroot upgraded from squeeze' from 'pbuilder: fails to upgrade chroot: "umount: /dev/shm: device is busy."'
> retitle -2 pbuilder does not mount /dev/shm in squeeze chroots
Bug #717022 [pbuilder] pbuilder: fails to upgrade chroot: "umount: /dev/shm: device is busy."
Changed Bug title to 'pbuilder does not mount /dev/shm in squeeze chroots' from 'pbuilder: fails to upgrade chroot: "umount: /dev/shm: device is busy."'

-- 
709053: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=709053
717022: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717022
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems