From 5a7beeafb0097cd25f0786ed9f12ca839f40c106 Mon Sep 17 00:00:00 2001
From: Sven Keidel <svenkeidel@pm.me>
Date: Mon, 26 Jun 2023 06:19:52 +0200
Subject: [PATCH] make '/usr/bin/env' available in docker container

closes #773
---
 docker/jazzer/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/jazzer/Dockerfile b/docker/jazzer/Dockerfile
index 6797b7635..c516dc4c5 100644
--- 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" ]