about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2008-10-16T21·04+0000
committerLudovic Courtès <ludo@gnu.org>2008-10-16T21·04+0000
commitc98ea254dcb6384b686a88657fd800ad7655e4a5 (patch)
treef46b36a5ffe591b4afaeafb861e298119a28757a /src
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.

Diffstat (limited to 'src')
-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 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);