From bf003875b97f72960470072b28fbfbbd5bfdaf0d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Thu, 30 Jan 2025 12:43:16 +0100 Subject: [PATCH] osolo5-elftool: close file --- bin/main.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/main.ml b/bin/main.ml index b63dfe2..149aac1 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -9,6 +9,7 @@ let map_binary file = in Bigarray.array1_of_genarray barr in + at_exit (fun () -> Unix.close fd); Cachet.make ~map () let query_manifest file =