# HG changeset patch
# User Rob Landley <rob@landley.net>
# Date 1287790311 18000
# Node ID 68da5da2a4037ec84cf7b28973ea63c9c661d770
# Parent  918501f802d10ae47a3978155dbf0dcefe4e8253
Provide a mount point for root user's home directory.

diff -r 918501f802d1 -r 68da5da2a403 simple-root-filesystem.sh
--- a/simple-root-filesystem.sh	Thu Oct 21 19:09:51 2010 -0500
+++ b/simple-root-filesystem.sh	Fri Oct 22 18:31:51 2010 -0500
@@ -20,7 +20,7 @@
 OLD_STAGE_DIR="$STAGE_DIR"
 if [ -z "$ROOT_NODIRS" ]
 then
-  mkdir -p "$STAGE_DIR"/{tmp,proc,sys,dev,home,mnt} &&
+  mkdir -p "$STAGE_DIR"/{tmp,proc,sys,dev,home,mnt,root} &&
   chmod a+rwxt "$STAGE_DIR/tmp" || dienow
 
   # Having lots of repeated locations at / and also under /usr is silly, so