mirror of
https://github.com/openmc-dev/openmc.git
synced 2026-07-28 06:05:58 -04:00
Apply suggestions from code review
Co-authored-by: Paul Romano <paul.k.romano@gmail.com>
This commit is contained in:
parent
3f2d85cad3
commit
4f93bf22f5
2 changed files with 3 additions and 2 deletions
|
|
@ -352,7 +352,7 @@ OPENMC_ENABLE_COVERAGE
|
|||
Compile and link code instrumented for coverage analysis. This is typically
|
||||
used in conjunction with gcov_. (Default: off)
|
||||
|
||||
To set any of these options (e.g. turning on profiling), the following form
|
||||
To set any of these options (e.g., turning on profiling), the following form
|
||||
should be used:
|
||||
|
||||
.. code-block:: sh
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue