File: openmpi-bin.prerm

package info (click to toggle)
openmpi 4.1.4-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 127,592 kB
  • sloc: ansic: 690,998; makefile: 43,047; f90: 19,220; sh: 7,182; java: 6,360; perl: 3,590; cpp: 2,227; python: 1,350; lex: 989; fortran: 61; tcl: 12
file content (10 lines) | stat: -rw-r--r-- 216 bytes parent folder | download | duplicates (5) 
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#