aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure2
1 files changed, 2 insertions, 0 deletions
diff --git a/configure b/configure
index 6e8650840d..8e3780c025 100755
--- a/configure
+++ b/configure
@@ -475,6 +475,8 @@ fi
case $HASNATDYNLINK,`uname -s`,`uname -r`,$CAMLVERSION in
true,Darwin,9.*,3.11.*) # ocaml 3.11.0 dynlink on MacOS 10.5 is buggy
NATDYNLINKFLAG=os5fixme;;
+ true,Darwin,10.*,3.11.*) #also a problem on Mac OS 10.6
+ NATDYNLINKFLAG=os5fixme;;
*)
NATDYNLINKFLAG=$HASNATDYNLINK;;
esac