diff options
author | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-12-15 12:00:37 +0100 |
---|---|---|
committer | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-12-15 12:40:59 +0100 |
commit | 726cc6bd0c0e26378574f74b712de948e56664ec (patch) | |
tree | c5880647e8b29782d15be0c99a60e56fed6f8a02 /docker | |
parent | 3707d34841174b4b5fa3acef5e9c4d7e5314a4bf (diff) | |
download | jazzer-api-726cc6bd0c0e26378574f74b712de948e56664ec.tar.gz |
Fix failure with --config=toolchain
Since our toolchain is loaded dynamically depending on the OS and
architecture, we can't have a static --extra_toolchains in our .bazelrc.
Instead, enable the toolchains in the specific GitHub Actions.
Diffstat (limited to 'docker')
-rw-r--r-- | docker/jazzer/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docker/jazzer/Dockerfile b/docker/jazzer/Dockerfile index b82b9d83..56787be7 100644 --- a/docker/jazzer/Dockerfile +++ b/docker/jazzer/Dockerfile @@ -24,7 +24,8 @@ RUN git clone --depth=1 https://github.com/CodeIntelligenceTesting/jazzer.git && touch /usr/bin/ld && \ touch /usr/bin/ld.gold && \ BAZEL_DO_NOT_DETECT_CPP_TOOLCHAIN=1 \ - ./bazelisk-linux-amd64 build --config=toolchain //agent:jazzer_agent_deploy.jar //driver:jazzer_driver + ./bazelisk-linux-amd64 build --config=toolchain --extra_toolchains=@llvm_toolchain//:cc-toolchain-x86_64-linux \ + //agent:jazzer_agent_deploy.jar //driver:jazzer_driver FROM gcr.io/distroless/java |