From ca9219d447c37038063f3d297c8f8195bb23e2f1 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 3 Jan 2018 16:26:14 +0100 Subject: Remove all temporary files at program exit (#46) Replaced calls to Filename.temp_file by own version Driveraux.tmp_file. The Driveraux.tmp_file function takes care that the temporary files are removed at exit. Consequently there is no need to explicitly remove temp files in Driver. --- exportclight/Clightgen.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'exportclight') diff --git a/exportclight/Clightgen.ml b/exportclight/Clightgen.ml index ae1d09a6..05ece5de 100644 --- a/exportclight/Clightgen.ml +++ b/exportclight/Clightgen.ml @@ -69,7 +69,7 @@ let process_c_file sourcename = if !option_E then begin preprocess sourcename "-" end else begin - let preproname = Filename.temp_file "compcert" ".i" in + let preproname = Driveraux.tmp_file ".i" in preprocess sourcename preproname; compile_c_file sourcename preproname (prefixname ^ ".v") end -- cgit