diff options
Diffstat (limited to 'development/openmpi/doinst.sh')
| -rw-r--r-- | development/openmpi/doinst.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/development/openmpi/doinst.sh b/development/openmpi/doinst.sh index 7f75f638c4004..437882b5ef643 100644 --- a/development/openmpi/doinst.sh +++ b/development/openmpi/doinst.sh @@ -1,5 +1,3 @@ -#!/bin/sh - config() { NEW="$1" OLD="$(dirname $NEW)/$(basename $NEW .new)" @@ -16,3 +14,4 @@ config() { config etc/openmpi-totalview.tcl.new config etc/openmpi-mca-params.conf.new config etc/openmpi-default-hostfile.new + |