diff options
| -rwxr-xr-x | rc.d/rc.sysinit | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/rc.d/rc.sysinit b/rc.d/rc.sysinit index 2a71a273..25d141dc 100755 --- a/rc.d/rc.sysinit +++ b/rc.d/rc.sysinit @@ -586,9 +586,10 @@ fi # Generate a header that defines the boot kernel. KERNEL_TYPE=`uname -r | sed 's_^[^se]*\(\|smp\|enterprise\)$_-\1_;s_^-$__'` -KERNEL_ARCH=`rpm -q --qf '%{ARCH}' kernel$KERNEL_TYPE` -OLD_KERNEL_ARCH_TYPE=`sed -n 's_^/\* Kernel type \(.*\) \*/_\1_p' /boot/kernel.h` -if [ "$KERNEL_ARCH$KERNEL_TYPE" != "$OLD_KERNEL_ARCH_TYPE" ]; then +KERNEL_RELEASE=`uname -r | sed 's|smp\|enterprise||g'` +KERNEL_ARCH=`rpm -q --qf '%{ARCH}' kernel$KERNEL_TYPE-$KERNEL_RELEASE 2>/dev/null` +OLD_KERNEL_ARCH_TYPE=`sed -n 's_^/\* Kernel type \(.*\) \*/_\1_p' /boot/kernel.h 2>/dev/null` +if [ -n "$KERNEL_ARCH" -a "$KERNEL_ARCH$KERNEL_TYPE" != "$OLD_KERNEL_ARCH_TYPE" ]; then ENTERPRISE="0" SMP="0" UP="0" |