diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-06-09 16:09:29 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2023-06-09 16:09:29 +0200 |
| commit | e54538c461e993827d9fbe3b8883d3887f184798 (patch) | |
| tree | aff8013962cc93541cc379c5a95507deb590de6b /local.mk | |
| parent | 03f9ff6ea59d21c6d7b29c64a03d5041bd621261 (diff) | |
restoreMountNamespace(): Restore the original root directory
This is necessary when we're in a chroot environment, where the
process root is not the same as the root of the mount namespace
(e.g. in nixos-enter).
Fixes #7602.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions