diff options
author | Björn Gustavsson <[email protected]> | 2011-09-07 10:00:37 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2011-09-14 16:42:48 +0200 |
commit | 4792b253584ca8d4429e1a353178db8cd0c470f4 (patch) | |
tree | bb1f8d24bd4a9847d2fba36e45815bcccdf6f0cb /lib/pman/doc | |
parent | 262a9af33d3ceb4cb032c434b100cea7d4b0d60e (diff) | |
download | otp-4792b253584ca8d4429e1a353178db8cd0c470f4.tar.gz otp-4792b253584ca8d4429e1a353178db8cd0c470f4.tar.bz2 otp-4792b253584ca8d4429e1a353178db8cd0c470f4.zip |
sys_pre_expand: Don't duplicate options given in the source code
Any compiler options given with a -compile() attribute in source file
would be included both at the beginning and the end of the option list
for the compiler. Including the options twice is harmless during
compilation, but since the options will also be available in
Mod:module_info(compile), including them twice will waste memory.
Include the options from the source first in the list so that they
override options given on the command line.
Diffstat (limited to 'lib/pman/doc')
0 files changed, 0 insertions, 0 deletions