diff options
author | Rickard Green <[email protected]> | 2014-02-21 09:29:40 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2014-02-24 14:32:03 +0100 |
commit | c7ddafbe6dbcc805a9758c4313f2d6b902983343 (patch) | |
tree | 69874a18877e52fe56ba3cc60ec5cba393db98a6 /otp_build | |
parent | 9fbb7a9a72a9b9f2bc12aebdbc89cac4bcd21873 (diff) | |
download | otp-c7ddafbe6dbcc805a9758c4313f2d6b902983343.tar.gz otp-c7ddafbe6dbcc805a9758c4313f2d6b902983343.tar.bz2 otp-c7ddafbe6dbcc805a9758c4313f2d6b902983343.zip |
Always default to disabled floating point exceptions on Linux
This since there exist unresolved stability issues in the implementation
for Linux.
Diffstat (limited to 'otp_build')
-rwxr-xr-x | otp_build | 18 |
1 files changed, 8 insertions, 10 deletions
@@ -173,6 +173,14 @@ determine_version_controller () # Special static config flags for certain platforms are set here set_config_flags () { + # + # NOTE! Do not add special flags here without a *very good* + # reason. We normally do not want "./otp_build configure" + # and "./configure" to produce different results. + # However, in the Windows case this does not matter, since + # the only supported way to build on Windows is using + # otp_build. + # # * Extra flags to pass to configure are placed in `CONFIG_FLAGS'. # * The command line is no longer added to `CONFIG_FLAGS' by # `set_config_flags'. It is instead passed directly to @@ -183,16 +191,6 @@ set_config_flags () # (in the cross compilation case the whole command line as well as # the cross configuration have been moved here). - if target_contains linux; then - XX=`echo $* | grep -v able-fp-exceptions` - if [ "$*" = "$XX" ]; then - CONFIG_FLAGS="$CONFIG_FLAGS --disable-fp-exceptions" - fi - fi - if target_contains "univel-sysv4"; then - CONFIG_FLAGS="$CONFIG_FLAGS --x-libraries=/usr/lib/X11" - fi - if target_contains free_source; then CONFIG_FLAGS="$CONFIG_FLAGS --host=$TARGET" fi |