diff options
author | Bruce Yinhe <[email protected]> | 2014-08-08 15:45:31 +0200 |
---|---|---|
committer | Bruce Yinhe <[email protected]> | 2014-08-08 15:45:31 +0200 |
commit | fd9c5a608df8608c5508f6c799eb3088b50f7bf6 (patch) | |
tree | 1b1654e4678c84ad87fc9459bfdf780e9851cba9 /lib/erl_interface/configure.in | |
parent | 05c8a2f9ba5c93985fb64a63f19ed4de22560829 (diff) | |
parent | ae4ba88c8b39fc340fff8f3f3fea2628bf8b292e (diff) | |
download | otp-fd9c5a608df8608c5508f6c799eb3088b50f7bf6.tar.gz otp-fd9c5a608df8608c5508f6c799eb3088b50f7bf6.tar.bz2 otp-fd9c5a608df8608c5508f6c799eb3088b50f7bf6.zip |
Merge branch 'maint'
Diffstat (limited to 'lib/erl_interface/configure.in')
-rw-r--r-- | lib/erl_interface/configure.in | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/erl_interface/configure.in b/lib/erl_interface/configure.in index d511f2e240..ef78f0f87b 100644 --- a/lib/erl_interface/configure.in +++ b/lib/erl_interface/configure.in @@ -311,6 +311,26 @@ else fi fi +dnl ---------------------------------------------------------------------- +dnl Enable -fsanitize= flags. +dnl ---------------------------------------------------------------------- + +m4_define(DEFAULT_SANITIZERS, [address,undefined]) +AC_ARG_ENABLE( + sanitizers, + AS_HELP_STRING( + [--enable-sanitizers@<:@=comma-separated list of sanitizers@:>@], + [Default=DEFAULT_SANITIZERS]), +[ +case "$enableval" in + no) sanitizers= ;; + yes) sanitizers="-fsanitize=DEFAULT_SANITIZERS" ;; + *) sanitizers="-fsanitize=$enableval" ;; +esac +CFLAGS="$CFLAGS $sanitizers" +LDFLAGS="$LDFLAGS $sanitizers" +]) + # --------------------------------------------------------------------------- # XXX # --------------------------------------------------------------------------- |