Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

#!/bin/sh -e

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

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

/usr/bin/mpi-selector --register "$1" --source-dir "$2" --yes