- if using it to boot, mount the flash device at /tmp/<partition>
authorMark Huang <mlhuang@cs.princeton.edu>
Tue, 21 Jun 2005 21:21:39 +0000 (21:21 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Tue, 21 Jun 2005 21:21:39 +0000 (21:21 +0000)
  instead of trying to be clever and temporarily mounting it at
  /usr. Being clever confuses "mount /usr" in BootServerRequest.py,
  causing it to re-mount the FAT filesystem a third time on top of /usr
  instead of leaving it alone as already mounted.


No differences found