From 117dbe6c8ce7dbf68661def907de43e75cf7941f Mon Sep 17 00:00:00 2001
From: Pekka Enberg <penberg@iki.fi>
Date: Thu, 24 Apr 2025 21:12:40 +0300
Subject: [PATCH] Fix Antithesis Docker file some more

---
 Dockerfile.antithesis | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile.antithesis b/Dockerfile.antithesis
index 319dbc5f4..acac11f45 100644
--- a/Dockerfile.antithesis
+++ b/Dockerfile.antithesis
@@ -52,7 +52,7 @@ COPY --from=planner /app/vendored ./vendored/
 RUN if [ "$antithesis" = "true" ]; then \
         cp /opt/antithesis/libvoidstar.so /usr/lib/libvoidstar.so && \
         export RUSTFLAGS="-Ccodegen-units=1 -Cpasses=sancov-module -Cllvm-args=-sanitizer-coverage-level=3 -Cllvm-args=-sanitizer-coverage-trace-pc-guard -Clink-args=-Wl,--build-id -L/usr/lib/ -lvoidstar" && \
-        cargo build --bin limbo_stress --antithesis; \
+        cargo build --bin limbo_stress; \
     else \
         cargo build --bin limbo_stress --release; \
     fi