diff options
| author | Martin Ridgers <[email protected]> | 2022-02-08 08:55:05 +0100 |
|---|---|---|
| committer | Martin Ridgers <[email protected]> | 2022-02-08 09:04:16 +0100 |
| commit | e1e4fdafbcd5b4fe469c31871a7e2822b028ecbd (patch) | |
| tree | 1bdd512ac8f421d3dcac4f9ba60f566c8f4e48d4 /scripts | |
| parent | Merge branch 'main' of https://github.com/EpicGames/zen (diff) | |
| download | zen-e1e4fdafbcd5b4fe469c31871a7e2822b028ecbd.tar.xz zen-e1e4fdafbcd5b4fe469c31871a7e2822b028ecbd.zip | |
Use a clean and detatched head instead of pulling a branch along
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/remote_build.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/remote_build.py b/scripts/remote_build.py index c5787f635..5fd62b87f 100644 --- a/scripts/remote_build.py +++ b/scripts/remote_build.py @@ -209,8 +209,9 @@ def _remote(args): _run_checked("git", "clone", f"git://{args.ip}:4493/", clone_dir) os.chdir(clone_dir) - _run_checked("git", "checkout", args.branch) - _run_checked("git", "pull", "-r") + _run_checked("git", "clean", "-fd") + _run_checked("git", "fetch", "origin") + _run_checked("git", "checkout", "origin/" + args.branch) _header("REMOTE:", f"Performing action '{args.action}'") |