diff options
| author | Björn Gustavsson <[email protected]> | 2017-12-14 10:29:40 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-12-14 10:29:40 +0100 |
| commit | ebe6e8a7fa591b31c1378106173a4ebb8a2b16de (patch) | |
| tree | 00a858bab0cda5bd1b5fbc31469f232aec9597e3 /erts/doc | |
| parent | 9f229208baa457f9a5979dedf2d8094d5c9af53a (diff) | |
| parent | d455cf67203c29354ff792ea44aea09e7a2155f8 (diff) | |
| download | otp-ebe6e8a7fa591b31c1378106173a4ebb8a2b16de.tar.gz otp-ebe6e8a7fa591b31c1378106173a4ebb8a2b16de.tar.bz2 otp-ebe6e8a7fa591b31c1378106173a4ebb8a2b16de.zip | |
Merge pull request #1653 from tonyrog/makedep_side_effect
Add -MMD option to erlc
OTP-14830
Diffstat (limited to 'erts/doc')
| -rw-r--r-- | erts/doc/src/erlc.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/erts/doc/src/erlc.xml b/erts/doc/src/erlc.xml index 7355be488b..2214b76a51 100644 --- a/erts/doc/src/erlc.xml +++ b/erts/doc/src/erlc.xml @@ -143,6 +143,14 @@ <p>Produces a Makefile rule to track header dependencies. The rule is sent to <c>stdout</c>. No object file is produced.</p> </item> + + <tag><c>-MMD</c></tag> + <item> + <p>Generate dependencies as a side-effect. The object file + will be produced as normal. This option overrides the + option <c><![CDATA[-M]]></c>.</p> + </item> + <tag><c>-MF <Makefile></c></tag> <item> <p>As option <c><![CDATA[-M]]></c>, except that the |