X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=configure.in;h=e9f3036bd2e9d0fd3262a631986391105b5807e8;hp=5bcb4c0594674d498dfa779241bf2656f05b52e2;hb=refs%2Fheads%2Ffeature%2Ffast-multipass;hpb=df5ce50d29b10bfdf26aff02c83d0a7ec614228a diff --git a/configure.in b/configure.in index 5bcb4c0..e9f3036 100644 --- a/configure.in +++ b/configure.in @@ -211,6 +211,8 @@ AC_ARG_ENABLE([inline], [INLINE=$enableval], [INLINE=100]) +OCAMLOPTFLAGS="$OCAMLOPTFLAGS -inline $INLINE" + #unsafe AC_ARG_ENABLE([unsafe], [ --enable-unsafe use unsafe array and string accesses],