From 4aeb753191fe3dbbd14178c577132eedecf8b4bf Mon Sep 17 00:00:00 2001 From: Fabian Meumertzheim Date: Fri, 1 Apr 2022 06:04:34 +0200 Subject: [PATCH] Revert "Pin Jazzer to older revision. (#7484)" (#7486) This reverts commit 86a4d9d11f4bd7d9de9b2b82e9257ab130ebf20c. The build issue has been fixed on Jazzer's main branch. --- infra/base-images/base-builder/install_java.sh | 5 ++--- 1 file 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 38d11f208..cc4891606 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/