File: libopenmpi-dev.prerm

package info (click to toggle)
openmpi 1.6.5-9.1%2Bdeb8u1
  • links: PTS, VCS
  • area: main
  • in suites: jessie
  • size: 91,628 kB
  • ctags: 44,305
  • sloc: ansic: 408,966; cpp: 44,454; sh: 27,828; makefile: 10,486; asm: 3,882; python: 1,239; lex: 805; perl: 549; csh: 253; fortran: 232; f90: 126; 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