diff options
author | Kostis Sagonas <[email protected]> | 2014-01-31 09:25:10 +0100 |
---|---|---|
committer | Kostis Sagonas <[email protected]> | 2014-01-31 09:25:10 +0100 |
commit | 002c3ee0d069acfab0148258b1e59014e0a74aa9 (patch) | |
tree | ecc793ed64e6132f80d9016c5695d50be1b2787e /lib/webtool | |
parent | fdcdaca338849d7f63d4300e489318f6ee275d82 (diff) | |
download | otp-002c3ee0d069acfab0148258b1e59014e0a74aa9.tar.gz otp-002c3ee0d069acfab0148258b1e59014e0a74aa9.tar.bz2 otp-002c3ee0d069acfab0148258b1e59014e0a74aa9.zip |
Allow making the system with --enable-native-libs
The HiPE compiler crashes when trying to compile these files because
it does not currently support maps. So, add a -compile(no_native)
attribute to these files to allow the system to be made even when
configured with --enable-native-libs.
This is a temporary fix and will be removed when the HiPE compiler
gets proper support for maps.
Diffstat (limited to 'lib/webtool')
0 files changed, 0 insertions, 0 deletions