diff options
author | John Högberg <[email protected]> | 2018-07-26 14:35:25 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2018-08-09 15:44:19 +0200 |
commit | ca3867d783d610d1990a137d6a9387168dda6605 (patch) | |
tree | 52d8838c677df0bdb62df3660c3de208b7853c2b /lib/reltool/Makefile | |
parent | db6059a9217767a6e42e93cec05089c0ec977d20 (diff) | |
download | otp-ca3867d783d610d1990a137d6a9387168dda6605.tar.gz otp-ca3867d783d610d1990a137d6a9387168dda6605.tar.bz2 otp-ca3867d783d610d1990a137d6a9387168dda6605.zip |
Omit include path debug info for +deterministic builds
Compiling the same file with different include paths resulted in
different files with the `+deterministic` flag even if everything
but the paths were identical. This was caused by the absolute path
of each include directory being unconditionally included in a
debug information chunk.
This commit fixes this by only including this information in
non-deterministic builds.
Diffstat (limited to 'lib/reltool/Makefile')
0 files changed, 0 insertions, 0 deletions