ci: add --with-jtreg
This commit is contained in:
parent
bd8708ec76
commit
b6c7832e51
1 changed files with 1 additions and 1 deletions
|
@ -27,7 +27,7 @@ RUN git clone --single-branch --depth 1 \
|
||||||
WORKDIR /build/src
|
WORKDIR /build/src
|
||||||
RUN bash get_source.sh
|
RUN bash get_source.sh
|
||||||
|
|
||||||
RUN bash configure --with-boot-jdk=/build/bootjdk --with-openssl=system --with-extra-ldflags="-Wl,-z,noexecstack"
|
RUN bash configure --with-jtreg=/build/bootjdk/jdk/bin/jlink --with-boot-jdk=/build/bootjdk --with-openssl=system --with-extra-ldflags="-Wl,-z,noexecstack"
|
||||||
RUN make all JOBS=$(nproc)
|
RUN make all JOBS=$(nproc)
|
||||||
RUN make test TEST=tier2 JOBS=$(nproc)
|
RUN make test TEST=tier2 JOBS=$(nproc)
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue