From: Barış Metin <Talip-Baris.Metin@sophia.inria.fr>
Date: Thu, 13 Jan 2011 15:26:32 +0000 (+0100)
Subject: /dev might be present but not populated. fixes the boot issue on f8/f12.
X-Git-Tag: bootmanager-4.3-23~5
X-Git-Url: http://git.onelab.eu/?p=bootmanager.git;a=commitdiff_plain;h=054bb652f3b74e53fa8859ecea165ea8b1dd74f1

/dev might be present but not populated. fixes the boot issue on f8/f12.
---

diff --git a/source/steps/MakeInitrd.py b/source/steps/MakeInitrd.py
index 66ba5e6..1f08fba 100644
--- a/source/steps/MakeInitrd.py
+++ b/source/steps/MakeInitrd.py
@@ -6,7 +6,7 @@
 # Copyright (c) 2004-2006 The Trustees of Princeton University
 # All rights reserved.
 
-import os, os.path
+import os
 
 from Exceptions import *
 import utils
@@ -63,8 +63,7 @@ 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
-    if not os.path.isdir ("%s/dev" % SYSIMG_PATH):
-        utils.sysexec("mount -o bind /dev %s/dev" % SYSIMG_PATH)
+    utils.sysexec_noerr("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)