From fd37a23edd12d590c95a3d76958fd32e45a61d35 Mon Sep 17 00:00:00 2001 From: Arvid Norberg Date: Mon, 20 Jan 2014 22:19:34 +0000 Subject: [PATCH] fix clean.py to be platform independent --- clean.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/clean.py b/clean.py index 300437a7d..7b7db34fa 100644 --- a/clean.py +++ b/clean.py @@ -1,4 +1,5 @@ import os +import shutil to_delete = [ 'session_stats', @@ -22,5 +23,8 @@ for d in directories: for f in to_delete: path = os.path.join(d, f) print path - os.system('rm -rf %s' % path) + try: + shutil.rmtree(path) + except: + pass