aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2016-05-10 19:13:18 +0200
committerMichael Schmidt <github@mschmidt.me>2016-05-10 19:13:18 +0200
commit812ae094557c60847de73c1e9ee198de9c17669d (patch)
treedfcda11db3d2406623be12d53786b87fa5504617
parent470f207e9229b73dcaea889c531b016a34df3cc5 (diff)
downloadcompcert-kvx-812ae094557c60847de73c1e9ee198de9c17669d.tar.gz
compcert-kvx-812ae094557c60847de73c1e9ee198de9c17669d.zip
fix typo 'clinker_option' in configure for OSX
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 30ee7fcc..433c7b13 100755
--- a/configure
+++ b/configure
@@ -210,10 +210,10 @@ case "$target" in
if [[ $kernel_major -gt 11 ]]
then
# OSX >= 10.8
- clinker_options="-arch i386 -Wl,-no_pie" ;;
+ clinker_options="-arch i386 -Wl,-no_pie"
else
# OSX <= 10.7
- clinker_options="-arch i386" ;;
+ clinker_options="-arch i386"
fi
libmath="";;
ia32-cygwin)