From 054bb652f3b74e53fa8859ecea165ea8b1dd74f1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= Date: Thu, 13 Jan 2011 16:26:32 +0100 Subject: [PATCH] /dev might be present but not populated. fixes the boot issue on f8/f12. --- source/steps/MakeInitrd.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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) -- 2.43.0