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-5.0-16~9
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=2acb27173bcc6b149c5fa116a98a387b59dc7c9c;p=bootmanager.git

/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 377238e..b70271d 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
@@ -53,8 +53,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)