diff options
author | Alexander Richardson <mail@alexrichardson.me> | 2024-04-20 12:57:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-20 12:57:00 -0700 |
commit | 444609cbe3e8a736628e9d11831bb88a42e6dba1 (patch) | |
tree | aa5784b0c97fbd8ddbe3dacaa7b52d1e7b7cef65 /build | |
parent | 2f88e7d058a8a6441b116d2227726e0961d88859 (diff) | |
download | riscv-isa-manual-444609cbe3e8a736628e9d11831bb88a42e6dba1.zip riscv-isa-manual-444609cbe3e8a736628e9d11831bb88a42e6dba1.tar.gz riscv-isa-manual-444609cbe3e8a736628e9d11831bb88a42e6dba1.tar.bz2 |
Fix running `make -C build docker` (#1358)
Without this change I get the following error:
`docker: Error response from daemon: create .: volume name is too short,
names should be at least two alphanumeric characters.`
After fixing that by using `pwd`, I get the following (the w flag is
added due to `-C build`): `make: *** No rule to make target 'w'`
Fix this by using -$(MAKEFLAGS). I confirmed that both
`make -C build docker -j4` and `cd build && make docker -j4` work.
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 fad4fbc..040ee69 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 $(MAKEFLAGS)' + cd .. && docker run -it -v `pwd`:/build riscvintl/riscv-docs-base-container-image:latest /bin/sh -c 'cd ./build; make -$(MAKEFLAGS)' # Asciidoctor options ASCIIDOCTOR_OPTS := -a compress \ |