diff --git a/extra/openmpi/PKGBUILD b/extra/openmpi/PKGBUILD index e7d86d138..cc18e2ed6 100644 --- a/extra/openmpi/PKGBUILD +++ b/extra/openmpi/PKGBUILD @@ -5,6 +5,9 @@ # ALARM: Kevin Mihelich