diff options
| -rw-r--r-- | scripts/utils.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/utils.py b/scripts/utils.py index 444b3ab..6053343 100644 --- a/scripts/utils.py +++ b/scripts/utils.py @@ -262,6 +262,7 @@ def fetchgitrepo(clonedir, repo, params, stashdir, depth=None): else: print("Cloning from origin to %s..." % sharedrepo) flush() + print("%s" % str(["git", "clone", params["url"], sharedrepo] + depthopt)) subprocess.check_call(["git", "clone", params["url"], sharedrepo] + depthopt) print("Updating checkout...") |