From 95ed4ea7df3e4b05d623afb9cb65f0eb2653361b Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 24 Aug 2017 17:23:02 +0200
Subject: Document -finline in help.

---
 driver/Driver.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/driver/Driver.ml b/driver/Driver.ml
index dfbac67f..45a5c769 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -255,6 +255,7 @@ Processing options:
                    (<n>=0: none, <n>=1: limited, <n>=2: full; default is full)
   -fcse          Perform common subexpression elimination [on]
   -fredundancy   Perform redundancy elimination [on]
+  -finline       Perform inlining of functions [on]
 Code generation options: (use -fno-<opt> to turn off -f<opt>)
   -ffpu          Use FP registers for some integer operations [on]
   -fsmall-data <n>  Set maximal size <n> for allocation in small data area
-- 
cgit