diff options
| author | David Ostrovsky <david@ostrovsky.org> | 2023-05-25 08:49:44 +0200 |
|---|---|---|
| committer | David Ostrovsky <d.ostrovsky@gmx.de> | 2023-05-31 00:31:46 -0400 |
| commit | a80130d655a6f0973c1783ffa4cf280b2c434696 (patch) | |
| tree | d038485201f1dbef1f589d47e984bd683cd2d7ba /tools | |
| parent | f4eb38f9fe3dd3ccf1767abe6a79b91535bfc839 (diff) | |
| download | jgit-a80130d655a6f0973c1783ffa4cf280b2c434696.tar.gz jgit-a80130d655a6f0973c1783ffa4cf280b2c434696.zip | |
Bazel: Fix remote build execution for Java 17
Bazel build and test with remote17 configuration was actually executed
locally, and not remotely.
Rename remote configuration setting for Java 11 from remote to remote11
and derive the common remote configuration settings for remote11 and
remote17 configurations.
Also remove deprecated --host_javabase and --javabase options.
Test Plan:
Verify that the remote build for Java 17 is actually executed remotely:
$ bazel test --config=remote17 --remote_instance_name=$PROJECT_NAME \
org.eclipse.jgit.test/...
Change-Id: I10ad8c1d28c92fed9e465c2d36770ed4fb2940c3
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/remote-bazelrc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/remote-bazelrc b/tools/remote-bazelrc index 58f794e18b..0c558f8136 100644 --- a/tools/remote-bazelrc +++ b/tools/remote-bazelrc @@ -30,8 +30,6 @@ build:remote --disk_cache= # Set several flags related to specifying the platform, toolchain and java # properties. -build:remote --host_javabase=@rbe_jdk11//java:jdk -build:remote --javabase=@rbe_jdk11//java:jdk build:remote --crosstool_top=@rbe_jdk11//cc:toolchain build:remote --extra_toolchains=@rbe_jdk11//config:cc-toolchain build:remote --extra_execution_platforms=@rbe_jdk11//config:platform |