From d4e9fc7fc5d9a98cd648df31a7cab1bb79e00942 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Thu, 4 Jul 2024 17:50:52 +0000 Subject: [PATCH] make.sh: Make BUILD_DIR a mountpoint Signed-off-by: Michael Tremer --- make.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/make.sh b/make.sh index 490d3578b..47281ffc3 100755 --- a/make.sh +++ b/make.sh @@ -426,6 +426,9 @@ prepareenv() { mkdir -p $BASEDIR/build/usr/src/{cache,config,doc,html,langs,lfs,log,src,ccache} + # Make BUILD_DIR a mountpoint + mount -o bind "${BUILD_DIR}" "${BUILD_DIR}" + # Create a new, minimal /dev mount build_dev "${BUILD_DIR}/dev" \ -t tmpfs -o "nosuid,noexec,mode=0755,size=4m,nr_inodes=64k"