diff options
Diffstat (limited to 'src/libstore')
| -rw-r--r-- | src/libstore/build.cc | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc index 586e44922197..3cd281fc839f 100644 --- a/src/libstore/build.cc +++ b/src/libstore/build.cc @@ -1744,15 +1744,14 @@ void DerivationGoal::startBuilder() autoDelChrootTmp = boost::shared_ptr<AutoDelete>(new AutoDelete(chrootTmpDir)); /* Bind-mount a user-configurable set of directories from the - host file system. */ + host file system. The `/dev/pts' directory must be mounted + separately so that newly-created pseudo-terminals show + up. */ 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); dirsInChroot.push_front(nixStore); |