X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=configure.in;h=e9f3036bd2e9d0fd3262a631986391105b5807e8;hb=be78f22d7e28eafc4cd575e134550a863ac06db1;hp=5bcb4c0594674d498dfa779241bf2656f05b52e2;hpb=df5ce50d29b10bfdf26aff02c83d0a7ec614228a;p=tatoo.git 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],