diff options
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}'") |