diff options
author | Sverker Eriksson <[email protected]> | 2014-03-27 17:13:43 +0100 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2014-03-27 17:13:43 +0100 |
commit | d1fde60e2814ba1d8013c48983bc206c1112cb98 (patch) | |
tree | 39af545d20ec7c5aeccb75b1dbb971694b73a59d /erts/autoconf/win32.config.cache.static | |
parent | 32eae452dbd6da109914af3a9003d9bbcb696d42 (diff) | |
download | otp-d1fde60e2814ba1d8013c48983bc206c1112cb98.tar.gz otp-d1fde60e2814ba1d8013c48983bc206c1112cb98.tar.bz2 otp-d1fde60e2814ba1d8013c48983bc206c1112cb98.zip |
erts: Adjust is_external_header() for new map tag
to not mistake a map for an external term (pid, port or ref).
Diffstat (limited to 'erts/autoconf/win32.config.cache.static')
0 files changed, 0 insertions, 0 deletions