From dbc06f76ca4e4d93697ed1e4f502a46473be9882 Mon Sep 17 00:00:00 2001 From: Bill Nottingham Date: Thu, 19 Feb 2004 19:19:03 +0000 Subject: workaround for previous bug #112116 - make sure /boot/kernel.h is always generated --- rc.d/rc.sysinit | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'rc.d/rc.sysinit') diff --git a/rc.d/rc.sysinit b/rc.d/rc.sysinit index b1745179..c33de8c2 100755 --- a/rc.d/rc.sysinit +++ b/rc.d/rc.sysinit @@ -714,6 +714,10 @@ if grep -q "ide-scsi" /proc/cmdline ; then fi # Generate a header that defines the boot kernel. + +# workaround for bug #112116 +rm -f /boot/kernel.h + /sbin/mkkerneldoth # Adjust symlinks as necessary in /boot to keep system services from -- cgit