#!/bin/sh
set -e
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
update-alternatives --remove mpirun /usr/bin/mpirun.openmpi
update-alternatives --remove mpi /usr/bin/mpicc.openmpi
fi
#DEBHELPER#