diff options
| author | Emmanuel N. Millan <emmanueln@gmail.com> | 2019-08-24 07:08:39 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-08-24 07:08:39 +0700 |
| commit | 9cde194db4da4b7a72c9f2972cf2a904867dfbfe (patch) | |
| tree | 36b8dcb99e2b8aa4ec935b09df07ff56f0e5207d /system/openmpi/doinst.sh | |
| parent | d4c5f2d9b62f9b1549d9056007b98e55fced3bcc (diff) | |
system/openmpi: Added new option.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'system/openmpi/doinst.sh')
| -rw-r--r-- | system/openmpi/doinst.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/system/openmpi/doinst.sh b/system/openmpi/doinst.sh index 8692f863cab31..718699b880403 100644 --- a/system/openmpi/doinst.sh +++ b/system/openmpi/doinst.sh @@ -11,6 +11,7 @@ config() { # Otherwise, we leave the .new copy for the admin to consider... } +config etc/pmix-mca-params.conf.new config etc/openmpi-default-hostfile.new config etc/openmpi-mca-params.conf.new config etc/openmpi-totalview.tcl.new |