5621: os.unlink sounds better than 'rm' command

svn: r19074
This commit is contained in:
Jérôme Rapinat 2012-03-17 06:00:16 +00:00
parent 8ced6ca00a
commit 516f94fdd8

View File

@ -289,7 +289,7 @@ def clean():
for h in headers():
if os.path.isfile(h):
os.system('''rm %s''' % h)
os.unlink(h)
print('Remove %(head)s' % {'head': h})
if os.path.isfile('python.txt'):