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 | live-build-9f6f1f3f84ee7fefae1bdcbccaa1dd83b2e07b68.zip live-build-9f6f1f3f84ee7fefae1bdcbccaa1dd83b2e07b68.tar.gz | |
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 7bb5e45..9b85289 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 |