Merge branch 'v2.7'

plumed · Nov 11, 2020 · 329636b · 329636b · PlumedBot · Nov 12, 2020
2 parents 597647b + 05f1303
commit 329636b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/config.sh b/scripts/config.sh
@@ -113,7 +113,7 @@ case $action in
   exit $retval
 ;;
 (mpiexec)
-  mpi=$(cat "$configfile" | grep -v \# | awk '{ if($1=="mpiexec") print $2 }')
+  mpi=$(cat "$configfile" | grep -v \# | awk '{ if($1=="mpiexec") { sub(" *mpiexec ","",$0);  print} }')
   if test -n "$mpi" ; then
     retval=0
     test "$quiet" = no && echo "$mpi"