From 073d1545406a8420d5cd55af7b06c9d96e39d878 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 28 Nov 2015 02:00:25 +0100
Subject: [PATCH] Only use -Bsymbolic-functions, not -Bsymbolic.

* m4/symbolic.m4: Here.  The -Bsymbolic option causes
segfault related to spot::formula::ff() returning a
pointer to some global.
---
 m4/symbolic.m4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/m4/symbolic.m4 b/m4/symbolic.m4
index 238dc1a1f..c4c7543a6 100644
--- a/m4/symbolic.m4
+++ b/m4/symbolic.m4
@@ -10,12 +10,12 @@ AC_DEFUN([AC_LIB_PROG_LD_GNU_SYMBOLIC],
 acl_cv_prog_gnu_ld_symbolic, [
 acl_cv_prog_gnu_ld_symbolic=no
 if test x"$with_gnu_ld" = x"yes"; then
-  if $LD -Bsymbolic-functions -Bsymbolic --help>/dev/null 2>&1 </dev/null; then
+  if $LD -Bsymbolic-functions --help>/dev/null 2>&1 </dev/null; then
     acl_cv_prog_gnu_ld_symbolic=yes
   fi
 fi])
 if test x"$acl_cv_prog_gnu_ld_symbolic" = x"yes"; then
-  SYMBOLIC_LDFLAGS="-Wl,-Bsymbolic-functions -Wl,-Bsymbolic"
+  SYMBOLIC_LDFLAGS="-Wl,-Bsymbolic-functions"
 else
   SYMBOLIC_LDFLAGS=''
 fi