From fb181fa1fa8238c3248d67f2844cc771fbae7828 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 26 Sep 2013 13:37:08 +0000
Subject: MacOS X linker option galore

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2336 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 65bfbbe..8a83aa6 100755
--- a/configure
+++ b/configure
@@ -130,7 +130,7 @@ case "$target" in
       [1-9].*|10.*|11.*)    # up to MacOS 10.7 included
         clinker="${toolprefix}gcc -arch i386";;
       *)                    # MacOS 10.8 and up
-        clinker="${toolprefix}gcc -arch i386 -Wl,-no-pie";;
+        clinker="${toolprefix}gcc -arch i386 -Wl,-no_pie";;
     esac
     libmath="";;
   ia32-cygwin)
-- 
cgit v1.2.3