#!/bin/sh

set -e

if [ "$1" != "upgrade" ]; then
	update-alternatives --remove mpirun /usr/bin/mpirun.openmpi
fi



exit 0