From 3e62085b06dfc14d03851b57fa8e6fcff5d9354d Mon Sep 17 00:00:00 2001 From: topilski Date: Mon, 12 Jun 2017 08:21:57 -0400 Subject: [PATCH] Fast clone --- base/utils.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base/utils.py b/base/utils.py index 4d82263..7037bc4 100644 --- a/base/utils.py +++ b/base/utils.py @@ -128,7 +128,7 @@ def build_from_sources(url, compiler_flags: CompileInfo, source_dir_path, prefix def git_clone(url, current_dir): - common_git_clone_line = ['git', 'clone', url] + common_git_clone_line = ['git', 'clone', '--depth=1', url] cloned_dir = os.path.splitext(url.rsplit('/', 1)[-1])[0] common_git_clone_line.append(cloned_dir) subprocess.call(common_git_clone_line)