File tree 2 files changed +8
-6
lines changed
2 files changed +8
-6
lines changed Original file line number Diff line number Diff line change 71
71
## Infrastructure
72
72
73
73
## Release scripts
74
+ * Fix the binaries built by docker as the result of the configure script was prepended [ #6175 @kit-ty-kate - fix #6174 ]
74
75
75
76
## Install script
76
77
Original file line number Diff line number Diff line change @@ -23,10 +23,11 @@ RUN apk add patch
23
23
ENV PATH /usr/local/bin:/usr/bin:/bin
24
24
USER opam
25
25
WORKDIR /home/opam/
26
- CMD tar xz >&2 && \
27
- cd opam-full-${VERSION} >&2 && \
28
- ./configure --with-vendored-deps --with-mccs && \
29
- echo "(${LINKING})" > src/client/linking.sexp && \
30
- make opam >&2 && \
31
- strip opam >&2 && \
26
+ CMD { tar xz && \
27
+ cd opam-full-${VERSION} && \
28
+ ./configure --with-vendored-deps --with-mccs && \
29
+ echo "(${LINKING})" > src/client/linking.sexp && \
30
+ make opam && \
31
+ strip opam ; \
32
+ } >&2 && \
32
33
cat opam
You can’t perform that action at this time.
0 commit comments