diff options
| author | James Meyer <james.meyer@operamail.com> | 2014-09-03 23:10:16 (GMT) |
|---|---|---|
| committer | James Meyer <james.meyer@operamail.com> | 2014-09-03 23:10:16 (GMT) |
| commit | 8bef8020a022c52a8d1d4bb373b5c8cdc256284f (patch) | |
| tree | b4ff9cf1c0cbddbc751d93ad18cae4f9b6aaa676 /build_tools | |
| parent | f93d353b9b47120e0ed102342ab4b66f314aff70 (diff) | |
| download | linhes_dev-8bef8020a022c52a8d1d4bb373b5c8cdc256284f.zip | |
Convert dev chroot to a container.
This was needed to play nice with systemd and the way it mounts /dev/pts inside the chroot as public (breaking the default kernel policy). When public after /dev/pts inside the chroot is unmounted it also unmounts /dev/pts for the host.
Same general steps as before.
- Create new container with ./setup_env_container.sh
- Enter container using ./enter_dev_container.$ARCH.$TS
Diffstat (limited to 'build_tools')
0 files changed, 0 insertions, 0 deletions