Revert "Pin Jazzer to older revision. (#7484)" (#7486)

This reverts commit 86a4d9d11f.

The build issue has been fixed on Jazzer's main branch.
This commit is contained in:
Fabian Meumertzheim 2022-04-01 06:04:34 +02:00 committed by GitHub
parent 7f8fe932ca
commit 4aeb753191
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions

View File

@ -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/