PREUN

/bin/sh

/sbin/installkernel -R 3.12.8-0.rt9.1.mga4
if [ -L /lib/modules/3.12.8-0.rt9.1.mga4/build ]; then
    rm -f /lib/modules/3.12.8-0.rt9.1.mga4/build
fi
if [ -L /lib/modules/3.12.8-0.rt9.1.mga4/source ]; then
    rm -f /lib/modules/3.12.8-0.rt9.1.mga4/source
fi
pushd /boot > /dev/null
if [ -L vmlinuz-rt ]; then
    if [ "$(readlink vmlinuz-rt)" = "vmlinuz-3.12.8-0.rt9.1.mga4" ]; then
	rm -f vmlinuz-rt
    fi
fi
if [ -L initrd-rt.img ]; then
    if [ "$(readlink initrd-rt.img)" = "initrd-3.12.8-0.rt9.1.mga4.img" ]; then
	rm -f initrd-rt.img
    fi
fi
popd > /dev/null
exit 0

POSTIN

/bin/sh

/sbin/installkernel -L 3.12.8-0.rt9.1.mga4
if [ -d /usr/src/kernel-rt-devel-3.12.8-0.rt9.1.mga4 ]; then
    ln -sf /usr/src/kernel-rt-devel-3.12.8-0.rt9.1.mga4 /lib/modules/3.12.8-0.rt9.1.mga4/build
    ln -sf /usr/src/kernel-rt-devel-3.12.8-0.rt9.1.mga4 /lib/modules/3.12.8-0.rt9.1.mga4/source
fi
pushd /boot > /dev/null
if [ -L vmlinuz-rt ]; then
    rm -f vmlinuz-rt
fi
ln -sf vmlinuz-3.12.8-0.rt9.1.mga4 vmlinuz-rt
if [ -L initrd-rt.img ]; then
    rm -f initrd-rt.img
fi
ln -sf initrd-3.12.8-0.rt9.1.mga4.img initrd-rt.img
popd > /dev/null

POSTUN

/bin/sh

/sbin/kernel_remove_initrd 3.12.8-0.rt9.1.mga4
rm -rf /lib/modules/3.12.8-0.rt9.1.mga4 > /dev/null


### kernel-devel

POSTTRANS

/bin/sh

if [ -x /usr/sbin/dkms_autoinstaller -a -d /usr/src/kernel-rt-devel-3.12.8-0.rt9.1.mga4 ]; then
    /usr/sbin/dkms_autoinstaller start 3.12.8-0.rt9.1.mga4
fi