openmpi/debian/libopenmpi-dev.prerm.in

13 lines
343 B
Bash

#!/bin/sh
set -e
# do not touch the alternative while being deconfigured
# this is a M-A:same package which gets regularily deconfigured
# during upgrades if multiple architectures are installed
if [ "$1" = "remove" ]; then
update-alternatives --remove mpi-@DEB_HOST_MULTIARCH@ /usr/lib/@DEB_HOST_MULTIARCH@/openmpi/include
fi
#DEBHELPER#