aboutsummaryrefslogtreecommitdiffstats
path: root/otp_build
diff options
context:
space:
mode:
authorRickard Green <[email protected]>2014-02-24 14:34:05 +0100
committerRickard Green <[email protected]>2014-02-24 14:34:05 +0100
commit093966d9c04b0ad4f194981df7e3c16d9eb519fd (patch)
tree2fe7e582be555a6cc267fdf55e28189ef7ed5211 /otp_build
parent4acee7b02b53d785c444e886c39ed82ab76b52fe (diff)
parentc7ddafbe6dbcc805a9758c4313f2d6b902983343 (diff)
downloadotp-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-xotp_build18
1 files changed, 8 insertions, 10 deletions
diff --git a/otp_build b/otp_build
index a636aefc01..6e016c88d2 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