diff options
| -rwxr-xr-x | src/mkkerneldoth.s390 | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/src/mkkerneldoth.s390 b/src/mkkerneldoth.s390 deleted file mode 100755 index d6629d95..00000000 --- a/src/mkkerneldoth.s390 +++ /dev/null @@ -1,40 +0,0 @@ -#!/bin/bash -# -# Generate a header that defines the boot kernel. -# - -KERNEL_TYPE=`uname -r | sed 's_^.*\(tape\)$_-\1_;t;s_.*__;'` -KERNEL_RELEASE=`uname -r | sed 's|tape||g'` - -rpm -q kernel$KERNEL_TYPE-$KERNEL_RELEASE >/dev/null 2>&1 && KERNEL_ARCH=`rpm -q --qf '%{ARCH}' kernel$KERNEL_TYPE-$KERNEL_RELEASE 2>/dev/null` || KERNEL_ARCH=`uname -m` - -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 - TAPE='0' - VM='0' - case "$KERNEL_TYPE" in - -tape) TAPE='1';; - *) VM='1';; - esac - cat > /boot/kernel.h << EOF -/* This file is automatically generated at boot time. */ -#ifndef __BOOT_KERNEL_H_ -#define __BOOT_KERNEL_H_ - -/* Kernel type $KERNEL_ARCH$KERNEL_TYPE */ - -#ifndef __MODULE_KERNEL_$KERNEL_ARCH -#define __MODULE_KERNEL_$KERNEL_ARCH 1 -#endif - -#ifndef __BOOT_KERNEL_TAPE -#define __BOOT_KERNEL_TAPE $TAPE -#endif - -#ifndef __BOOT_KERNEL_VM -#define __BOOT_KERNEL_VM $VM -#endif - -#endif -EOF -fi |