#!/bin/sh -e

if ! [ "$RPM_INSTALL_ARG1" -ge 0 ] 2>/dev/null; then
	echo "post_service: invalid or undefined variable: RPM_INSTALL_ARG1" >&2
	exit 1
fi

if [ $# -ne 1 ]; then
	echo "Usage: preun_mpi_selector <mpi-name>" >&2
	exit 1
fi

if [ "$RPM_INSTALL_ARG1" -eq 0 ]; then
    /usr/bin/mpi-selector --unregister "$1" --yes >/dev/null 2>/dev/null ||:
fi
