File: libopenmpi-dev.prerm.in

package info (click to toggle)
openmpi 2.0.2-2
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 99,912 kB
  • ctags: 55,589
  • sloc: ansic: 525,999; f90: 18,307; makefile: 12,062; sh: 6,583; java: 6,278; asm: 3,515; cpp: 2,227; perl: 2,136; python: 1,350; lex: 734; fortran: 52; tcl: 12
file content (11 lines) | stat: -rw-r--r-- 143 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 
#!/bin/sh

set -e

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

#DEBHELPER#

exit 0