File tree 3 files changed +1
-126
lines changed
installing-open-mpi/configure-cli-options 3 files changed +1
-126
lines changed Original file line number Diff line number Diff line change @@ -64,7 +64,6 @@ Table of contents
64
64
:maxdepth: 2
65
65
:numbered:
66
66
67
- to-do
68
67
quickstart
69
68
getting-help
70
69
release-notes/index
Original file line number Diff line number Diff line change @@ -20,7 +20,7 @@ are used by Open MPI that can be used with ``configure``:
20
20
* ``external ``: Use an external installation (rely on default
21
21
compiler and linker paths to find it). ``configure `` will abort
22
22
if it cannot find suitable header files and libraries.
23
- * ``internal ``: Use Open MPI's internal/bundled copy..
23
+ * ``internal ``: Use Open MPI's internal/bundled copy.
24
24
* No value specified: Try the ``external `` behavior. If that fails,
25
25
fall back to ``internal `` behavior. *This is the default behavior. *
26
26
* ``DIR ``: Specify the location of a specific installation to use.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments