workaround for f14 bootCD
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 17 Jan 2011 15:34:55 +0000 (16:34 +0100)
committerS.Çağlar Onur <caglar@verivue.com>
Tue, 15 Mar 2011 15:57:45 +0000 (11:57 -0400)
source/steps/MakeInitrd.py

index 1f08fba..e40f9fd 100644 (file)
@@ -62,8 +62,11 @@ def Run( vars, log ):
 
     # mkinitrd needs /dev and /proc to do the right thing.
     # /proc is already mounted, so bind-mount /dev here
-    # looks like this dir somehow already exists under f14
-    utils.sysexec_noerr("mount -o bind /dev %s/dev" % SYSIMG_PATH)
+    # xxx tmp - trying to work around the f14 case:
+    # check that /dev/ is mounted with devtmpfs
+    if utils.sysexec_noerr ("grep devtmpfs /proc/mounts") != 0:
+        utils.sysexec("mount -t devtmpfs none /dev")
+    utils.sysexec("mount -o bind /dev %s/dev" % SYSIMG_PATH)
     utils.sysexec("mount -t sysfs none %s/sys" % SYSIMG_PATH)
 
     initrd, kernel_version= systeminfo.getKernelVersion(vars,log)