diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/licensecheck.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/licensecheck.py b/scripts/licensecheck.py index 4b489ea4..c5f72f07 100755 --- a/scripts/licensecheck.py +++ b/scripts/licensecheck.py @@ -102,6 +102,9 @@ def check_repo_if_needed(name, repo, ref, repos_dir, licenses_dir): if os.path.isdir(clone_path): sys.stderr.write("Updating repo '%s' ...\n" % repo_name) with open(os.devnull, 'w') as devnull: + subprocess.check_call([ + "git", "remote", "update", "origin", "--prune"], + stderr=devnull, stdout=devnull, cwd=clone_path) subprocess.check_call(["git", "checkout", ref], stderr=devnull, stdout=devnull, cwd=clone_path) else: |