MacOS X linker option galore

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2336 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 1 insertions, 1 deletions

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)