diff options
author | Otavio Salvador <otavio@ossystems.com.br> | 2008-02-20 10:11:22 -0300 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 18:36:02 +0100 |
commit | 9f6f1f3f84ee7fefae1bdcbccaa1dd83b2e07b68 (patch) | |
tree | 9e232280070e666c45e042e6ebff9be3e65754f5 /helpers/lh_chroot_devpts | |
parent | cd087b9abf60e31ddfe5be8e17d38d35f672b0c6 (diff) | |
download | vyos-live-build-9f6f1f3f84ee7fefae1bdcbccaa1dd83b2e07b68.tar.gz vyos-live-build-9f6f1f3f84ee7fefae1bdcbccaa1dd83b2e07b68.zip |
chroot: don't fail if /dev/pts is already mounted
Diffstat (limited to 'helpers/lh_chroot_devpts')
-rwxr-xr-x | helpers/lh_chroot_devpts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/helpers/lh_chroot_devpts b/helpers/lh_chroot_devpts index 7bb5e4517..9b852892a 100755 --- a/helpers/lh_chroot_devpts +++ b/helpers/lh_chroot_devpts @@ -58,7 +58,7 @@ case "${1}" in mkdir -p chroot/dev/pts # Mounting /dev/pts - ${LH_ROOT_COMMAND} mount devpts-live -t devpts chroot/dev/pts + ${LH_ROOT_COMMAND} mount devpts-live -t devpts chroot/dev/pts || true fi # Creating stage file |