From ab6a480ab0ff209e8f8ed405bf4085e2e56f9d08 Mon Sep 17 00:00:00 2001 From: Ivan Grokhotkov Date: Fri, 30 Oct 2015 17:49:51 +0300 Subject: [PATCH] Fix get.py for the case when path doesn't exist --- tools/get.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/get.py b/tools/get.py index b32eb884f..f3c9ea81e 100755 --- a/tools/get.py +++ b/tools/get.py @@ -57,7 +57,8 @@ def unpack(filename, destination): rename_to = re.match(r'^([a-z][^\-]*\-*)+', dirname).group(0).encode('ascii').strip('-') if rename_to != dirname: print('Renaming {0} to {1}'.format(dirname, rename_to)) - shutil.rmtree(rename_to) + if os.path.isdir(rename_to): + shutil.rmtree(rename_to) shutil.move(dirname, rename_to) def get_tool(tool):