Add extra umounts for /dev and /sys
authorStephen Soltesz <soltesz@cs.princeton.edu>
Mon, 18 Apr 2011 19:40:43 +0000 (15:40 -0400)
committerStephen Soltesz <soltesz@cs.princeton.edu>
Mon, 18 Apr 2011 19:40:43 +0000 (15:40 -0400)
commitc87a0f4534d57a343ce441fbc48674a9c40e9820
treec37bf9da625ee740a3767e1e992066c58d9faf48
parent93a44b1dbeb0908930887fd5d17111fc58a35d4b
Add extra umounts for /dev and /sys
In some cases, /tmp/mnt/sysimg was failing to umount due to these mount points
source/steps/ChainBootNode.py