-
Kim Nguyễn authored
Change the default inlining from 10000 to 100 (OCaml 4.02.0 generates too large binaries with -inline 10000). Conflicts: Makefile.distrib
89f64722
Change the default inlining from 10000 to 100 (OCaml 4.02.0 generates too large binaries with -inline 10000). Conflicts: Makefile.distrib