diff --git a/release/Dockerfile.in b/release/Dockerfile.in
index eb2b55daf3f..4c2561e405c 100644
--- a/release/Dockerfile.in
+++ b/release/Dockerfile.in
@@ -25,7 +25,7 @@ USER opam
 WORKDIR /home/opam/
 CMD tar xz >&2 && \
     cd opam-full-${VERSION} >&2 && \
-    ./configure --with-vendored-deps --with-mccs && \
+    ./configure --with-vendored-deps --with-mccs >&2 && \
     echo "(${LINKING})" > src/client/linking.sexp && \
     make opam >&2 && \
     strip opam >&2 && \