Commit 4cc38b8c authored by Ben Gamari's avatar Ben Gamari 🐢

docs: debug-info is now an integer

parent 2d97ee4e
...@@ -1101,8 +1101,8 @@ feature was added. ...@@ -1101,8 +1101,8 @@ feature was added.
Object code options Object code options
^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^
.. cfg-field:: debug-info: boolean .. cfg-field:: debug-info: integer
--enable-debug-info --enable-debug-info=<n>
--disable-debug-info --disable-debug-info
:synopsis: Build with debug info enabled. :synopsis: Build with debug info enabled.
:since: 1.22 :since: 1.22
...@@ -1114,8 +1114,8 @@ Object code options ...@@ -1114,8 +1114,8 @@ Object code options
instruct it to do so. See the GHC wiki page on :ghc-wiki:`DWARF` instruct it to do so. See the GHC wiki page on :ghc-wiki:`DWARF`
for more information about this feature. for more information about this feature.
(This field also accepts numeric syntax, but as of GHC 8.0 this (This field also accepts numeric syntax, but until GHC 8.2 this didn't
doesn't do anything.) do anything.)
The command line variant of this flag is ``--enable-debug-info`` and The command line variant of this flag is ``--enable-debug-info`` and
``--disable-debug-info``. ``--disable-debug-info``.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment