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 | |
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')
-rw-r--r-- | src/libstore/build.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc index 538990ed9989..2a8ddd491486 100644 --- a/src/libstore/build.cc +++ b/src/libstore/build.cc @@ -1750,6 +1750,11 @@ void DerivationGoal::startBuilder() host file system. */ Paths defaultDirs; defaultDirs.push_back("/dev"); + + /* The `/dev/pts' directory must be mounted separately so that + newly-created pseudo-terminals show up. */ + defaultDirs.push_back("/dev/pts"); + defaultDirs.push_back("/proc"); Paths dirsInChroot = querySetting("build-chroot-dirs", defaultDirs); |