release: fix the docker phase

Would prepend the output of the configure script before
kit-ty-kate · Aug 22, 2024 · c441ea9 · c441ea9
1 parent c0ef0ec
commit c441ea9
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/release/Dockerfile.in b/release/Dockerfile.in
@@ -23,11 +23,12 @@ RUN apk add patch
 ENV PATH /usr/local/bin:/usr/bin:/bin
 USER opam
 WORKDIR /home/opam/
-CMD tar xz >&2 && \
-    cd opam-full-${VERSION} >&2 && \
-    ./configure --with-mccs && \
-    make lib-ext && \
-    echo "(${LINKING})" > src/client/linking.sexp && \
-    make opam >&2 && \
-    strip opam >&2 && \
+CMD { tar xz && \
+      cd opam-full-${VERSION} && \
+      ./configure --with-mccs && \
+      make lib-ext && \
+      echo "(${LINKING})" > src/client/linking.sexp && \
+      make opam && \
+      strip opam ; \
+    } >&2 && \
     cat opam