(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index c865ebbddd8eede56e2fc788930cadcfec7ef47f..9313f10843634aa22d443d765420ce0fefe48e4e 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -10,7 +10,8 @@ In advance, on the host system, edit /etc/fstab and add mount points:
 
 (edit: personally I prefer using mount --bind points.  however if doing
 that then after a reboot the chroot will lose the bind mountpoints
-and the commands need to be re-run)
+and the commands need to be re-run, without which the chroot is
+unusable)
 
     /dev    /home/chroot/coriolis/dev   none    bind    0   0
     /dev/pts /home/chroot/coriolis/dev/pts  none    bind    0   0