Commit e8b7f316 authored by iker_martin's avatar iker_martin
Browse files

Merge branch 'master' into dev. No real changes.

parent d6654dae
...@@ -15,7 +15,7 @@ configFile=$1 ...@@ -15,7 +15,7 @@ configFile=$1
outIndex=0 outIndex=0
if [ $# -ge 2 ] if [ $# -ge 2 ]
then then
outIndex=$2 outIndex=$2
fi fi
echo "MPICH provider=$FI_PROVIDER" echo "MPICH provider=$FI_PROVIDER"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment