Merge pull request #11741 from rhc54/topic/ignores

Update ignores
open-mpi · Jun 7, 2023 · d884bb7 · d884bb7
2 parents e1f81c6 + 12c7f12
commit d884bb7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -261,6 +261,9 @@ ompi/mpiext/ftmpi/c/profile/pcomm_iagree.c
 ompi/mpiext/ftmpi/c/profile/pcomm_is_revoked.c
 ompi/mpiext/ftmpi/c/profile/pcomm_revoke.c
 ompi/mpiext/ftmpi/c/profile/pcomm_shrink.c
+ompi/mpiext/ftmpi/c/profile/pcomm_ack_failed.c
+ompi/mpiext/ftmpi/c/profile/pcomm_get_failed.c
+ompi/mpiext/ftmpi/c/profile/pcomm_ishrink.c
 
 ompi/mpiext/example/tests/progress_c
 ompi/mpiext/example/tests/progress_mpifh