From 2acb27173bcc6b149c5fa116a98a387b59dc7c9c 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 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) -- 2.43.0