diff --git a/Dockerfile b/Dockerfile index e8f01c9f..fb89b8ad 100644 --- a/Dockerfile +++ b/Dockerfile @@ -25,6 +25,8 @@ ARG BUILD_BASE=/opt/cartesi ENV LINUX_HEADERS_FILEPATH=/tmp/linux-libc-dev-riscv64-cross-${LINUX_VERSION}-${IMAGE_KERNEL_VERSION}.deb RUN <