diff options
| -rwxr-xr-x | tools/fetch-distro.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/fetch-distro.py b/tools/fetch-distro.py index e7f9f59104..9fc5b1bfa6 100755 --- a/tools/fetch-distro.py +++ b/tools/fetch-distro.py @@ -79,6 +79,10 @@ def update_distro(args, distro: str, config: dict): branch = config['Environment']['GIT_BRANCH'] old_commit = config['Environment']['GIT_COMMIT'] + cmd = ['git', '-C', f'pkg/{distro}', 'switch', branch] + print(f"+ {shlex.join(cmd)}") + subprocess.check_call(cmd) + cmd = ['git', '-C', f'pkg/{distro}', 'fetch', 'origin', '-v', f'{branch}:remotes/origin/{branch}'] print(f"+ {shlex.join(cmd)}") |