Skip to content

Commit

Permalink
release: fix the docker phase
Browse files Browse the repository at this point in the history
Would prepend the output of the configure script before
  • Loading branch information
kit-ty-kate committed Aug 22, 2024
1 parent dd1e344 commit e1089fd
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion release/Dockerfile.in
Original file line number Diff line number Diff line change
Expand Up @@ -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 && \
Expand Down

0 comments on commit e1089fd

Please sign in to comment.