diff options
| author |  Fabian Meumertzheim <fabian@meumertzhe.im> | 2022-04-01 06:04:34 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2022-04-01 15:04:34 +1100 |
| commit | 4aeb753191fe3dbbd14178c577132eedecf8b4bf (patch) | |
| tree | b491c02ae74fd406a5639e0dad1cd570cfdbd98a /infra/base-images | |
| parent | 7f8fe932cadccab99da6fb1d1a9cab6988d21157 (diff) | |
Revert "Pin Jazzer to older revision. (#7484)" (#7486)
This reverts commit 86a4d9d11f4bd7d9de9b2b82e9257ab130ebf20c.
The build issue has been fixed on Jazzer's main branch.
Diffstat (limited to 'infra/base-images')
| -rwxr-xr-x | infra/base-images/base-builder/install_java.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/infra/base-images/base-builder/install_java.sh b/infra/base-images/base-builder/install_java.sh index 38d11f20..cc489160 100755 --- a/infra/base-images/base-builder/install_java.sh +++ b/infra/base-images/base-builder/install_java.sh @@ -27,9 +27,8 @@ rm -rf $JAVA_HOME/jmods $JAVA_HOME/lib/src.zip # jazzer_api_deploy.jar is required only at build-time, the agent and the # drivers are copied to $OUT as they need to be present on the runners. cd $SRC/ -git clone https://github.com/CodeIntelligenceTesting/jazzer && \ -cd jazzer && \ -git checkout 2b9e71a2e6ddeb37b18806d055e556b903c94ef3 +git clone --depth=1 https://github.com/CodeIntelligenceTesting/jazzer && \ +cd jazzer bazel build --java_runtime_version=local_jdk_15 -c opt --cxxopt="-stdlib=libc++" --linkopt=-lc++ \ //agent:jazzer_agent_deploy.jar //driver:jazzer_driver //driver:jazzer_driver_asan //driver:jazzer_driver_ubsan //agent:jazzer_api_deploy.jar cp bazel-bin/agent/jazzer_agent_deploy.jar bazel-bin/driver/jazzer_driver bazel-bin/driver/jazzer_driver_asan bazel-bin/driver/jazzer_driver_ubsan /usr/local/bin/ |