File: openmpi-bin.prerm

package info (click to toggle)
openmpi 3.1.3-11
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 118,572 kB
  • sloc: ansic: 628,972; f90: 17,993; makefile: 13,761; sh: 7,051; java: 6,360; perl: 3,215; cpp: 2,225; python: 1,350; lex: 988; fortran: 52; tcl: 12
file content (10 lines) | stat: -rw-r--r-- 216 bytes parent folder | download | duplicates (7) 
1
2
3
4
5
6
7
8
9
10
 
#!/bin/sh

set -e

if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
    update-alternatives --remove mpirun /usr/bin/mpirun.openmpi
    update-alternatives --remove mpi /usr/bin/mpicc.openmpi
fi

#DEBHELPER#