On Mon, 2018-07-16 at 23:57 +0200, Mark Wielaard wrote:
> On Mon, Jul 16, 2018 at 12:01:21PM +0200, Ulf Hermann wrote:
> > strip explicitly creates the new files. This will not work on
> > windows if
> > the files already exist.
> >
> > Also, if strip fails to create the files for any reason, we w
On Mon, Jul 16, 2018 at 12:01:21PM +0200, Ulf Hermann wrote:
> strip explicitly creates the new files. This will not work on windows if
> the files already exist.
>
> Also, if strip fails to create the files for any reason, we would check
> the previous run's files and succeed. However, the test s
