Skip to content
Commit 89f64722 authored by Kim Nguyễn's avatar Kim Nguyễn Committed by Pietro Abate
Browse files

Change the default inlining from 10000 to 100 (OCaml 4.02.0 generates too... 

Change the default inlining from 10000 to 100 (OCaml 4.02.0 generates too large binaries with -inline 10000).

Conflicts:
	Makefile.distrib
parent f73e98bb
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment