aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 073379bbf7..8e49f37389 100755
--- a/configure
+++ b/configure
@@ -209,6 +209,7 @@ esac
# OS dependent camlp4 options for native compilation
+# Special rules for g_*.cmx files to circumvent a PowerPC limitation
case $ARCH in
ppc) OSDEPP4OPTFLAGS="-split_gext";;
*) OSDEPP4OPTFLAGS=""