1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
"""Remove `.coverage.$HOST.$ID` files from previous runs.
In Python because of portability with Windows.
"""
import sys
import os
import os.path
def main():
workspace = os.environ['WORKSPACE']
for filename in os.listdir(os.path.join(workspace, ".tests")):
if filename.startswith('coverage.'):
file_full_name = os.path.join(workspace, filename)
sys.stdout.write(
'* Removing old .coverage file: `%s`\n' % file_full_name)
os.unlink(file_full_name)
sys.stdout.flush()
if __name__ == '__main__':
main()
|
