Skip to content

Commit

Permalink
Merge pull request open-mpi#10778 from jjhursey/fix-help-comm
Browse files Browse the repository at this point in the history
comm: Add missing help entry
  • Loading branch information
jjhursey authored Sep 7, 2022
2 parents 50856c2 + 2b70dcc commit 01ebde1
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions ompi/communicator/help-comm.txt
Original file line number Diff line number Diff line change
Expand Up @@ -31,3 +31,6 @@ Detected mismatched split_type and/or info "mpi_hw_resource_type" values
in a call to MPI_Comm_split_type between peers in the communicator.
split_type: %s (%d)
info: %s
[unexpected-split-type]
Detected an unexpected split type in a call to MPI_Comm_split_type.
split_type: %s (%d)

0 comments on commit 01ebde1

Please sign in to comment.