flux-pmi(1): document barrier --abort=RANK

Problem: the barrier --abort=RANK option has no documentation. Add it to the man page.
flux-framework · Sep 12, 2024 · 30f72c8 · 30f72c8
1 parent 08559b7
commit 30f72c8
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/doc/man1/flux-pmi.rst b/doc/man1/flux-pmi.rst
@@ -88,6 +88,11 @@ barrier
 
   Execute N barrier (step 2) operations (default 1).
 
+.. option:: --abort=RANK
+
+  Instead of entering the barrier, arrange for RANK to call the PMI
+  abort function.
+
 exchange
 --------