diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2008-10-16T21·04+0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2008-10-16T21·04+0000 |
| commit | c98ea254dcb6384b686a88657fd800ad7655e4a5 (patch) | |
| tree | f46b36a5ffe591b4afaeafb861e298119a28757a /src/libmain/shared.cc | |
| parent | 9d6d50269bef214473580a879f6194e02692fe16 (diff) | |
libstore: Always mount `/dev/pts' individually.
This fixes problems such as Tcl's PTY handling: ERROR: The system has no more ptys. Ask your system administrator to create more.
Diffstat (limited to 'src/libmain/shared.cc')
0 files changed, 0 insertions, 0 deletions