Closed ogra1 closed 7 years ago
make sure we unmount /dev/pts when exiting the chroot, else we get a "/dev/pts already mounted" message on second run.
make sure we unmount /dev/pts when exiting the chroot, else we get a "/dev/pts already mounted" message on second run.