aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2008-10-16 21:04:32 +0000
committerLudovic Courtès <ludo@gnu.org>2008-10-16 21:04:32 +0000
commitc98ea254dcb6384b686a88657fd800ad7655e4a5 (patch)
treef46b36a5ffe591b4afaeafb861e298119a28757a
parent9d6d50269bef214473580a879f6194e02692fe16 (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.
-rw-r--r--src/libstore/build.cc5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc
index 538990ed9..2a8ddd491 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);