- fix bind umount of fedora mirror during bootstrap build
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 16 Aug 2006 21:44:48 +0000 (21:44 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 16 Aug 2006 21:44:48 +0000 (21:44 +0000)
build.sh

index 32e90b1..2a1f6df 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -59,9 +59,9 @@ EOF
     mv devel/data/build/BUILD/myplc-*/myplc/root{,.img} devel/data/build/BUILD/myplc-*/myplc/data .
 
     # Clean up
+    umount devel/root/data/fedora || :
     umount devel/root/data
     umount devel/root/proc
-    umount devel/root/usr/share/mirrors/fedora || :
     rm -rf devel/data/build
     mkdir -p devel/data/build