diff options
Diffstat (limited to '.github/dockerfiles/Dockerfile.64-bit')
-rw-r--r-- | .github/dockerfiles/Dockerfile.64-bit | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/dockerfiles/Dockerfile.64-bit b/.github/dockerfiles/Dockerfile.64-bit index 0ee206d55f..c651cbc618 100644 --- a/.github/dockerfiles/Dockerfile.64-bit +++ b/.github/dockerfiles/Dockerfile.64-bit @@ -15,8 +15,7 @@ RUN cd /buildroot && tar -xzf ./otp.tar.gz WORKDIR /buildroot/otp/ -RUN ./configure --prefix=/otp && make && make install && \ - make install-docs DOC_TARGETS=chunks +RUN ./configure --prefix=/otp && make && make install RUN TESTSUITE_ROOT=/tests ./otp_build tests |