diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-11-16 10:52:44 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-11-16 11:25:49 +0100 |
| commit | 4e32fa60312a1d6fcd08700e8fb37e4b1d0195a0 (patch) | |
| tree | e16042e9e1848ea66530a691a14104d5e231f0d3 /src/buildtool/common/cli.hpp | |
| parent | a22da1c7831b389809d085ff6867febba4dc95bc (diff) | |
| download | justbuild-4e32fa60312a1d6fcd08700e8fb37e4b1d0195a0.tar.gz | |
Add -R as short option for --remote-serve-address
The `just serve` command defaults to also provide the remote-execution
endpoint if none is specified. The `just build` implicitly uses the
serve endpoint as remote-execution endpoint if no other endpoint is
specified. In this way, the serve endpoint has become the universal
endpoint for simple set ups. Simplify that usage further by providing
a short command-line option.
Diffstat (limited to 'src/buildtool/common/cli.hpp')
| -rw-r--r-- | src/buildtool/common/cli.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/buildtool/common/cli.hpp b/src/buildtool/common/cli.hpp index a1438400..bdcc5716 100644 --- a/src/buildtool/common/cli.hpp +++ b/src/buildtool/common/cli.hpp @@ -407,7 +407,7 @@ static inline auto SetupEndpointArguments( static inline auto SetupServeEndpointArguments( gsl::not_null<CLI::App*> const& app, gsl::not_null<ServeArguments*> const& clargs) { - app->add_option("--remote-serve-address", + app->add_option("-R,--remote-serve-address", clargs->remote_serve_address, "Address of the serve service.") ->type_name("NAME:PORT"); |