Skip to content

Commit

Permalink
Merge branch 'develop' into jeanbez-patch-1
Browse files Browse the repository at this point in the history
  • Loading branch information
jeanbez authored May 16, 2024
2 parents 773d77a + e2000c6 commit 0c5ba6f
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 0c5ba6f

Please sign in to comment.