Run exit hooks before Unix.exec'ing

rgrinberg · rgrinberg · commit 9b63fa446e2d · 2021-02-18T19:56:11.000-08:00
Signed-off-by: Rudi Grinberg &lt;me@rgrinberg.com&gt;
diff --git a/CHANGES.md b/CHANGES.md
@@ -51,6 +51,9 @@ Unreleased
 - Workaround incorrect exception raised by Unix.utimes (OCaml PR#8857) in
   Path.touch on Windows (#4223, @dra27)
 
+- Cleanup temporary files after running `$ dune exec`. (#4260, fixes #4243,
+  @rgrinberg)
+
 2.8.2 (21/01/2021)
 ------------------
 
diff --git a/src/stdune/proc.ml b/src/stdune/proc.ml
@@ -13,5 +13,6 @@ let restore_cwd_and_execve prog argv ~env =
     | WSTOPPED _ -> assert false
   else (
     ignore (Unix.sigprocmask SIG_SETMASK [] : int list);
+    Stdlib.do_at_exit ();
     Unix.execve prog argv env
   )

Original file line number	Diff line number	Diff line change
`@@ -13,5 +13,6 @@ let restore_cwd_and_execve prog argv ~env =`
`13`	`13`	`\| WSTOPPED _ -> assert false`
`14`	`14`	`else (`
`15`	`15`	`ignore (Unix.sigprocmask SIG_SETMASK [] : int list);`
	`16`	`+ Stdlib.do_at_exit ();`
`16`	`17`	`Unix.execve prog argv env`
`17`	`18`	`)`