You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
BTW, I modified our coverage.py use to use the parallel files (with
the PID in the filename), but apparently the combination step leaves
behind the old files (leading some people to complain about the disk
use). There wasn't anything in the code that I could use for this, as
far as I could see from a quick glance. Is that right? Might be a
useful option for a future release.
Original comment byGeoff Bache (Bitbucket: geoffbache, GitHub: Unknown)
Just saw this. It would be useful if there was a way to get the old behaviour back, perhaps a command line switch. The problem with deleting the source by default is that if you don't get what you expect, it's very difficult to establish what happened.
From Dirkjan Ochtman (hg dev):
BTW, I modified our coverage.py use to use the parallel files (with
the PID in the filename), but apparently the combination step leaves
behind the old files (leading some people to complain about the disk
use). There wasn't anything in the code that I could use for this, as
far as I could see from a quick glance. Is that right? Might be a
useful option for a future release.
The text was updated successfully, but these errors were encountered: