From c7ddafbe6dbcc805a9758c4313f2d6b902983343 Mon Sep 17 00:00:00 2001 From: Rickard Green Date: Fri, 21 Feb 2014 09:29:40 +0100 Subject: Always default to disabled floating point exceptions on Linux This since there exist unresolved stability issues in the implementation for Linux. --- otp_build | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) (limited to 'otp_build') diff --git a/otp_build b/otp_build index f5a7a0be44..5f41e40f5f 100755 --- a/otp_build +++ b/otp_build @@ -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 -- cgit v1.2.3