Merge pull request #2 from tjstyle/dev

Add missing /dev/pts
2016-04-21 17:14:20 +01:00 · 2016-04-21 17:14:20 +01:00 · ace01f2fc7
parent 99bf2f4d61 20f687e907
commit ace01f2fc7
1 changed files with 4 additions and 0 deletions
--- a/scripts/common
+++ b/scripts/common
@ -51,6 +51,10 @@ on_chroot() {
 	if ! mount | grep -q `realpath ${ROOTFS_DIR}/dev`; then
 		mount --bind /dev ${ROOTFS_DIR}/dev
 	fi
+	
+	if ! mount | grep -q `realpath ${ROOTFS_DIR}/dev/pts`; then
+		mount --bind /dev/pts ${ROOTFS_DIR}/dev/pts
+	fi

 	if ! mount | grep -q `realpath ${ROOTFS_DIR}/sys`; then
 		mount --bind /sys ${ROOTFS_DIR}/sys