From 516f94fdd8ed9cc823f72b05ed34afa5203cc50a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Rapinat?= Date: Sat, 17 Mar 2012 06:00:16 +0000 Subject: [PATCH] 5621: os.unlink sounds better than 'rm' command svn: r19074 --- po/update_po.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/po/update_po.py b/po/update_po.py index 48b74f6a6..be456eb88 100644 --- a/po/update_po.py +++ b/po/update_po.py @@ -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'):