/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 (file)
--- 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)