--- devpts.sh.orig Sat Jan 29 14:59:41 2000 +++ devpts.sh Sat Jan 29 14:59:18 2000 @@ -13,7 +13,7 @@ make_devpts() { [ -d /dev/pts ] || mkdir --mode=755 /dev/pts -{ +} mount_devpts_fs() {