phase1: populateConfig(): quiet git clone

Signed-off-by: Thibaut VARÈNE <hacks@slashdirt.org>

diff --git a/phase1/master.cfg b/phase1/master.cfg
index afc93ce8bed4ce2fc8e49c55c006dfc0d8e4166d..c19c6c80f659d96f403493c37bbc536c1fb81f41 100644 (file)
--- a/phase1/master.cfg
+++ b/phase1/master.cfg
@@ -254,7 +254,7 @@ def populateTargets():
                if os.path.isdir(sourcegit):
                        subprocess.call(["rm", "-rf", sourcegit])
 
-               subprocess.call(["git", "clone", "--depth=1", "--branch="+branch, repo_url, sourcegit])
+               subprocess.call(["git", "clone", "-q", "--depth=1", "--branch="+branch, repo_url, sourcegit])
 
                os.makedirs(sourcegit + '/tmp', exist_ok=True)
                findtargets = subprocess.Popen(['./scripts/dump-target-info.pl', 'targets'],