m

plan-research · Feb 5, 2025 · 8684ba0 · 8684ba0
1 parent ddb88ff
commit 8684ba0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dockerfiles/tools.docker b/dockerfiles/tools.docker
@@ -37,7 +37,7 @@ USER test
 WORKDIR /var/tools
 RUN git clone https://github.com/AbdullinAM/jazzer.git
 WORKDIR /var/tools/jazzer
-RUN bazel-7.3.0 run //:jazzer
+RUN bazel-7.3.0 build //:jazzer
 ENV JAZZER_HOME=/var/tools/jazzer/bazel-bin/launcher/
 # RUN mkdir Jazzer
 # WORKDIR /var/tools/Jazzer