diff options
author | Björn Gustavsson <[email protected]> | 2011-02-21 16:53:34 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2011-08-16 15:22:23 +0200 |
commit | 053fb064496043207cfa807c900077f9bbc4c7d1 (patch) | |
tree | e0de0000953388727538571bdf2c1cda28a7b27b /configure.in | |
parent | 3347602be3c8a8bad3652c10e1e2db01315269e3 (diff) | |
download | otp-053fb064496043207cfa807c900077f9bbc4c7d1.tar.gz otp-053fb064496043207cfa807c900077f9bbc4c7d1.tar.bz2 otp-053fb064496043207cfa807c900077f9bbc4c7d1.zip |
compiler: Don't create filenames starting with "./"
In the location information tables in the run-time system, source
filenames that are the same as the module name plus ".erl" extension
are not stored explicitly, thus saving memory.
To take advantage of that optimization, avoid complicating the names of
files in the current working directory; specifically, make sure that
"./" is not prepended to the name.
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions