projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Don't needlessly run the last bottom-up phase, when the top-down is sufficient.
[tatoo.git]
/
configure.in
diff --git
a/configure.in
b/configure.in
index
5bcb4c0
..
e9f3036
100644
(file)
--- 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],