diff options
author | Rickard Green <[email protected]> | 2014-02-24 14:34:05 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2014-02-24 14:34:05 +0100 |
commit | 093966d9c04b0ad4f194981df7e3c16d9eb519fd (patch) | |
tree | 2fe7e582be555a6cc267fdf55e28189ef7ed5211 /otp_build | |
parent | 4acee7b02b53d785c444e886c39ed82ab76b52fe (diff) | |
parent | c7ddafbe6dbcc805a9758c4313f2d6b902983343 (diff) | |
download | otp-093966d9c04b0ad4f194981df7e3c16d9eb519fd.tar.gz otp-093966d9c04b0ad4f194981df7e3c16d9eb519fd.tar.bz2 otp-093966d9c04b0ad4f194981df7e3c16d9eb519fd.zip |
Merge branch 'rickard/configure-defaults/OTP-11723'
* rickard/configure-defaults/OTP-11723:
Always default to disabled floating point exceptions on 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 |