diff options
author | Andrew Waterman <andrew@sifive.com> | 2023-10-11 17:42:46 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2023-10-11 17:42:46 -0700 |
commit | 26defb3552655e23d6c4b724daa348890644bcf0 (patch) | |
tree | d1110b11ba76952700182344386bfa2c9b3a7f16 /build | |
parent | b81a1a8916182413e066d6863b4f53699ef7f5a7 (diff) | |
download | riscv-isa-manual-26defb3552655e23d6c4b724daa348890644bcf0.zip riscv-isa-manual-26defb3552655e23d6c4b724daa348890644bcf0.tar.gz riscv-isa-manual-26defb3552655e23d6c4b724daa348890644bcf0.tar.bz2 |
Pass MAKEFLAGS to docker make command
Reduces build time by 1/3 or so.
Diffstat (limited to 'build')
-rw-r--r-- | build/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/Makefile b/build/Makefile index 1f105e7..eef7da5 100644 --- a/build/Makefile +++ b/build/Makefile @@ -25,7 +25,7 @@ all: $(TARGETS) # Build with preinstalled docker container; first install it with: # docker pull riscvintl/riscv-docs-base-container-image:latest docker: - cd .. && docker run -it -v .:/build riscvintl/riscv-docs-base-container-image:latest /bin/sh -c 'cd ./build; make' + cd .. && docker run -it -v .:/build riscvintl/riscv-docs-base-container-image:latest /bin/sh -c 'cd ./build; make $(MAKEFLAGS)' # Asciidoctor options ASCIIDOCTOR_OPTS := -a compress \ |