make '/usr/bin/env' available in docker container

closes #773
CodeIntelligenceTesting · Jul 5, 2023 · 1f3cdc4 · 1f3cdc4
1 parent ad16d09
commit 1f3cdc4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/jazzer/Dockerfile b/docker/jazzer/Dockerfile
@@ -37,6 +37,6 @@ FROM gcr.io/distroless/java17:debug
 COPY --from=builder /app/* /app/
 # system() expects the shell at /bin/sh, but the image has it at /busybox/sh. We create a symlink,
 # but have to use the long form as a simple RUN <command> also requires /bin/sh.
-RUN ["/busybox/sh", "-c", "ln -s /busybox/sh /bin/sh"]
+RUN ["/busybox/sh", "-c", "ln -s /busybox/sh /bin/sh && ln -s /busybox/env /usr/bin/env"]
 WORKDIR /fuzzing
 ENTRYPOINT [ "/app/jazzer" ]