File: libopenmpi-dev.prerm.in

package info (click to toggle)
openmpi 5.0.8-3
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 201,692 kB
  • sloc: ansic: 613,078; makefile: 42,353; sh: 11,194; javascript: 9,244; f90: 7,052; java: 6,404; perl: 5,179; python: 1,859; lex: 740; fortran: 61; cpp: 20; tcl: 12
file content (12 lines) | stat: -rw-r--r-- 343 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
11
12
 
#!/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#