Reduce base-builder-debug build time from 18 to 2 minutes (#8144)

This will speed up trial builds noticeably as well.
This commit is contained in:
jonathanmetzman 2022-08-03 16:33:20 -04:00 committed by GitHub
parent ef51e4fcae
commit 2e6e35dd98
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -21,5 +21,5 @@ RUN apt-get update && apt-get install -y valgrind zip
RUN apt-get install -y build-essential libgmp-dev && \
wget https://ftp.gnu.org/gnu/gdb/gdb-12.1.tar.xz && \
tar -xf gdb-12.1.tar.xz && cd gdb-12.1 && ./configure && \
make && make install && cd .. && rm -rf gdb-12.1* && \
make -j && make install && cd .. && rm -rf gdb-12.1* && \
apt-get remove --purge -y build-essential libgmp-dev