diff options
author | davidovski <david@davidovski.xyz> | 2021-11-02 10:30:49 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2021-11-02 10:30:49 +0000 |
commit | 201c08f24d2b17c4ae69793428ab8a9abdb02e8b (patch) | |
tree | 4a846d700ce813543082bbc23f8b292f73bfb81c /build.py | |
parent | 0ec63c97b9009187d7d2d32d5d065a863a6aa323 (diff) |
separated syncing and building
Diffstat (limited to 'build.py')
-rw-r--r-- | build.py | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -271,10 +271,12 @@ def create_repos(): for repo in get_repos(): print(repo) + name = ".".join(repo.split("/")[-1].split(".")[:-1]) - os.system(f"cd {dist}/git; git clone {repo}") + os.system(f"mkdir -p {dist}/git/{name} ;\ + cd {dist}/git/{name} ;\ + git pull || git clone {name}") - name = ".".join(repo.split("/")[-1].split(".")[:-1]) command = subprocess.run(f"cd {dist}/git/{name} && git log --pretty=format:'%h%x09%an%x09%ad%x09%s' --no-decorate -1", stdout=subprocess.PIPE, shell=True) |