From cfe87cda7ef48c4f55f15c78aaaa041d3a007eef Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Sat, 27 Jun 2020 17:41:21 +0200 Subject: [PATCH] misc: add a random number to build directory (#44527) --- eobuilder-ctl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/eobuilder-ctl b/eobuilder-ctl index 9cfced8..3616b23 100755 --- a/eobuilder-ctl +++ b/eobuilder-ctl @@ -1,6 +1,7 @@ #!/usr/bin/env python3 import atexit +import random import re import shutil import subprocess @@ -115,7 +116,7 @@ def get_project_infos(git_project_path, cmd_options): error("Unsupported project type", exit_code=2) results['build_dir'] = os.path.join( - settings.EOBUILDER_TMP, results['name'] + settings.EOBUILDER_TMP, '%s-%d' % (results['name'], random.randint(0, 1000000)) ) atexit.register(rm_recursive, results['build_dir']) results['commit_number'] = output("git rev-parse HEAD")[:-1]