[pushed] Re: [PATCH 1/6] Code cleanup: C++ify .gdb_index producer.

[Jan Kratochvil]

On Mon, 12 Jun 2017 18:08:07 +0200, Pedro Alves wrote:
> +  file_closer close_out_file (out_file);
> +  gdb::unlinker unlink_file (filename.c_str ());

I heard on MS-Windows one cannot delete a file which is still open.


Jan