From 9fc4913e483fdeeea3cbcdc9fe6fe976d090724f Mon Sep 17 00:00:00 2001 From: fritzkink <96341974+fritzkink@users.noreply.github.com> Date: Fri, 09 Jun 2023 14:17:56 +0200 Subject: [PATCH] openmpi - fix duplicate man pages --- components/library/openmpi/openmpi.p5m | 4 ---- components/library/openmpi/Makefile | 1 + 2 files changed, 1 insertions(+), 4 deletions(-) diff --git a/components/library/openmpi/Makefile b/components/library/openmpi/Makefile index 5b84c26..dc530c1 100644 --- a/components/library/openmpi/Makefile +++ b/components/library/openmpi/Makefile @@ -20,6 +20,7 @@ COMPONENT_NAME = openmpi/$(COMPILER) OPENMPI_VERSION_MAJOR = 4.1 COMPONENT_VERSION = $(OPENMPI_VERSION_MAJOR).5 +COMPONENT_REVISION = 1 COMPONENT_FMRI = library/openmpi/$(COMPILER) COMPONENT_CLASSIFICATION = Development/High Performance Computing COMPONENT_PROJECT_URL = https://www.open-mpi.org diff --git a/components/library/openmpi/openmpi.p5m b/components/library/openmpi/openmpi.p5m index 9f74710..9c30918 100644 --- a/components/library/openmpi/openmpi.p5m +++ b/components/library/openmpi/openmpi.p5m @@ -291,12 +291,8 @@ #file path=usr/share/Modules/modulefiles/openmpi/gcc/64/$(HUMAN_VERSION) link path=usr/share/man/man1/mpiCC.1 target=mpic++.1 file path=usr/share/man/man1/mpic++.1 -file path=usr/share/man/man1/mpicc.1 -file path=usr/share/man/man1/mpicxx.1 -file path=usr/share/man/man1/mpiexec.1 file path=usr/share/man/man1/mpif77.1 file path=usr/share/man/man1/mpif90.1 -file path=usr/share/man/man1/mpifort.1 file path=usr/share/man/man1/mpirun.1 file path=usr/share/man/man1/ompi-clean.1 file path=usr/share/man/man1/ompi-server.1 -- Gitblit v1.9.3