Don't keep asm/inlining files even in `Verbose mode

stedolan · May 21, 2021 · fa48c08 · fa48c08
1 parent eb69eb7
commit fa48c08
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/malfunction_compiler.ml b/src/malfunction_compiler.ml
@@ -637,8 +637,12 @@ let setup_options options =
   | `Verbose ->
      Clflags.dump_lambda := true;
      Clflags.dump_cmm := true;
+     (*
+       If anyone wants to keep these, there should probably be another option for where to put them.
+       (rather than leaving stale temporary directories around)
      Clflags.keep_asm_file := true;
      Clflags.inlining_report := true
+      *)
   | `Shared ->
      Clflags.shared := true);