#!/bin/sh

set -e

if [ "$1" != "upgrade" ]; then
	update-alternatives --remove mpi /usr/lib/@TRIPLET@/openmpi/include
fi

#DEBHELPER#

exit 0
