From fa48c088eaf6a45dd11812567aff098b0fa78ba3 Mon Sep 17 00:00:00 2001
From: Stephen Dolan <stephen.dolan@cl.cam.ac.uk>
Date: Fri, 21 May 2021 19:41:45 +0100
Subject: [PATCH] Don't keep asm/inlining files even in `Verbose mode

---
 src/malfunction_compiler.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/malfunction_compiler.ml b/src/malfunction_compiler.ml
index cc6aa4c..14bc347 100644
--- 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);