File: libopenmpi-dev.prerm

package info (click to toggle)
openmpi 1.2.7~rc2-2
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 41,300 kB
  • ctags: 24,303
  • sloc: ansic: 224,835; sh: 22,627; makefile: 7,037; cpp: 6,353; asm: 3,547; lex: 528; objc: 383; perl: 348; csh: 89; f90: 49; fortran: 47; tcl: 12
file content (11 lines) | stat: -rw-r--r-- 133 bytes parent folder | download | duplicates (5)
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/openmpi/include
fi

#DEBHELPER#

exit 0