diff options
Diffstat (limited to 'scripts/build/chroot_devpts')
| -rwxr-xr-x | scripts/build/chroot_devpts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/chroot_devpts b/scripts/build/chroot_devpts index 80e30f962..4650efe18 100755 --- a/scripts/build/chroot_devpts +++ b/scripts/build/chroot_devpts @@ -38,7 +38,7 @@ case "${1}" in mkdir -p chroot/dev/pts # Mounting /dev/pts - mount devpts-live -t devpts -o gid=5,mode=620 chroot/dev/pts || true + mount -t devpts -o gid=5,mode=620,x-gvfs-hide devpts-live chroot/dev/pts || true # Creating stage file Create_stagefile .build/chroot_devpts |