Add function-sections to OCAMLPARAM

2019-07-08 13:22:21 +01:00 · 2019-07-08 13:22:21 +01:00 · 4d09a8dbc4
parent 4bcb195565
commit 4d09a8dbc4
1 changed files with 2 additions and 0 deletions
--- a/driver/compenv.ml
+++ b/driver/compenv.ml
@ -239,6 +239,8 @@ let read_one_param ppf position name v =

  | "clambda-checks" -> set "clambda-checks" [ clambda_checks ] v

+  | "function-sections" ->
+    set "function-sections" [ Clflags.function_sections ] v
  (* assembly sources *)
  |  "s" ->
    set "s" [ Clflags.keep_asm_file ; Clflags.keep_startup_file ] v