From 7016bb1825e4b7bf8bd70638306f1c04eea26591 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 29 Jul 2016 22:55:26 +0200 Subject: [PATCH] add an inlining parameter for non-flambda versions of OCaml --- _tags | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_tags b/_tags index 3086767b..c918133e 100644 --- a/_tags +++ b/_tags @@ -2,7 +2,7 @@ true: bin_annot, color(always) # optimization options -true: optimize(3), unbox_closures, unbox_closures_factor(20) +true: inline(100), optimize(3), unbox_closures, unbox_closures_factor(20) # Include paths : include