Skip to content

Commit

Permalink
Merge branch 'develop' into vpicio_bugfix
Browse files Browse the repository at this point in the history
  • Loading branch information
jeanbez authored May 3, 2024
2 parents 4bf8395 + e2000c6 commit e139241
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/tests/mpi_test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,6 @@ $mpi_cmd -n $n_client $extra_cmd $test_exe $test_args
ret="$?"
# and shutdown the SERVER before exiting
echo "Close server"
echo "$mpi_cmd -n 1 $extra_cmd ./close_server"
$mpi_cmd -n 1 $extra_cmd ./close_server
echo "$mpi_cmd -n $n_servers $extra_cmd ./close_server"
$mpi_cmd -n $n_servers $extra_cmd ./close_server
exit $ret

0 comments on commit e139241

Please sign in to comment.