Hi Janne,
> ! { dg-final { remote_file build delete "pr64770test.dat" } }
did the trick. It is not mentioned in the docs, though.
Thanks!
Thomas
Hi Janne,
> ! { dg-final { remote_file build delete "pr64770test.dat" } }
did the trick. It is not mentioned in the docs, though.
Thanks!
Thomas