2d1140e
#!/bin/bash
2d1140e
if [[ -x @@LIBEXECDIR@@/installkernel ]] ; then
2d1140e
	exec @@LIBEXECDIR@@/installkernel "${@}"
2d1140e
elif [[ -x @@LIBEXECDIR@@/installkernel-bls ]] ; then
2d1140e
	exec @@LIBEXECDIR@@/installkernel-bls "${@}"
2d1140e
fi
2d1140e
echo "installkernel is not installed correctly." >>/dev/stderr
2d1140e
exit 1