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