#!/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 " >&2 exit 1 fi /usr/bin/mpi-selector --register "$1" --source-dir "$2" --yes