diff options
author | Björn Gustavsson <[email protected]> | 2011-02-24 15:03:55 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2011-08-18 10:00:28 +0200 |
commit | d12294aea905b4bc188c1e1c84f0ec7c2284faa7 (patch) | |
tree | e35b50fe3679f718ffed3d26b42a05b4abe2e70a /lib/compiler/doc/src | |
parent | b44bff9cc71b2413d2e594ff7e207605bda6148e (diff) | |
download | otp-d12294aea905b4bc188c1e1c84f0ec7c2284faa7.tar.gz otp-d12294aea905b4bc188c1e1c84f0ec7c2284faa7.tar.bz2 otp-d12294aea905b4bc188c1e1c84f0ec7c2284faa7.zip |
compiler: Add no_line_info for suppressing line/1 instructions
Also update the r12 and r13 options so that they imply no_line_info.
Diffstat (limited to 'lib/compiler/doc/src')
-rw-r--r-- | lib/compiler/doc/src/compile.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/compiler/doc/src/compile.xml b/lib/compiler/doc/src/compile.xml index 830c89ae84..522c1dc411 100644 --- a/lib/compiler/doc/src/compile.xml +++ b/lib/compiler/doc/src/compile.xml @@ -395,6 +395,14 @@ module.beam: module.erl \ <code>-compile({no_auto_import,[error/1]}).</code> </item> + <tag><c>no_line_info</c></tag> + + <item> + <p>Omit line number information in order to produce a slightly + smaller output file. + </p> + </item> + </taglist> <p>If warnings are turned on (the <c>report_warnings</c> option |