diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/ghci.rst | 2 | ||||
| -rw-r--r-- | docs/users_guide/using.rst | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/ghci.rst b/docs/users_guide/ghci.rst index 9995814920..cb98b15f6a 100644 --- a/docs/users_guide/ghci.rst +++ b/docs/users_guide/ghci.rst @@ -3497,7 +3497,7 @@ When invoked in the static way, GHCi will use the GHC RTS's static runtime linker to load object files for imported modules when available. However, when these modules are built with :ghc-flag:`-split-sections` this linking can be quite expensive. To reduce this cost, package managers and build systems may -opt to produce a pre-linked *GHCi object* using the :ghc-flag:`-merge-objs` +opt to produce a pre-linked *GHCi object* using the :ghc-flag:`--merge-objs` mode. This merges the per-module objects into a single object, collapsing function sections into a single text section which can be efficiently loaded by the runtime linker. diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index ec62096cd1..628dfab0f3 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -345,7 +345,7 @@ The available mode flags are: compile source files one at a time, or link objects together into an executable. See :ref:`options-order`. -.. ghc-flag:: -merge-objs +.. ghc-flag:: --merge-objs :shortdesc: Merge a set of objects into a GHCi library. :type: mode :category: phases |