changeset 5138:34391161e606 draft

Note /dev/log issue on linux
author Roy Marples <roy@marples.name>
date Sun, 05 Apr 2020 16:47:25 +0100
parents bca739d216a7
children 63e50443c7e3
files BUILDING.md
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/BUILDING.md	Sun Apr 05 16:44:32 2020 +0100
+++ b/BUILDING.md	Sun Apr 05 16:47:25 2020 +0100
@@ -170,3 +170,4 @@
 **mandatory**.
 If you choose not to run it, then you are responsible for setting up the
 needed mount points: `/dev`, `/proc`, `/sys`, `/run/udev`
+as well as sorting out `/dev/log` if it points to something outside of `/dev`.