diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/remote_build.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/remote_build.py b/scripts/remote_build.py index b2fcc85cf..08e44c9ad 100644 --- a/scripts/remote_build.py +++ b/scripts/remote_build.py @@ -73,6 +73,7 @@ def _local(args): parser.add_argument("--commit", default=None, help="Commit to act on") parser.add_argument("--keyfile", default=None, help="SSH key file") parser.add_argument("--gitport", default=None, help="Use an exist git daemon at the given port") + parser.add_argument("--outdir", default=None, help="Put .zip bundles here") args = parser.parse_args(args) # Find the binaries we'll need @@ -180,7 +181,7 @@ def _local(args): # If we're bundling, collect zip files from the remote machine if args.action == "bundle": - build_dir = zen_dir / "build" + build_dir = Path(args.outdir) or (zen_dir / "build") build_dir.mkdir(exist_ok=True) scp_args = (*identity, host + f":zen/{remote_zen_dir}/build/*.zip", build_dir) _run_checked("scp", *scp_args) |