Skip to content

Commit

Permalink
Pin Jazzer to pre-Bazel 5 update (#7192)
Browse files Browse the repository at this point in the history
* Update install_java.sh

* Update install_java.sh
  • Loading branch information
oliverchang authored Jan 27, 2022
1 parent aecae8b commit d3d1e1f
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions infra/base-images/base-builder/install_java.sh
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,9 @@ 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 --depth=1 https://github.com/CodeIntelligenceTesting/jazzer && \
cd jazzer
git clone https://github.com/CodeIntelligenceTesting/jazzer && \
cd jazzer && \
git checkout 997c203566350fa313dbd3d7119725387b190e3e
bazel build --java_runtime_version=localjdk_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/
Expand Down

0 comments on commit d3d1e1f

Please sign in to comment.