diff options
| author | Riccardo Spagni <ric@spagni.net> | 2017-12-25 21:16:59 +0200 |
|---|---|---|
| committer | Riccardo Spagni <ric@spagni.net> | 2017-12-25 21:17:00 +0200 |
| commit | f04d4a78de257d44f62ca00e0d3ed9ca6ab57a46 (patch) | |
| tree | 1b57a4d20312325b230a47f5762ccb25ca05911f /Dockerfile | |
| parent | Merge pull request #2909 (diff) | |
| parent | Dockerfile: add option to set build parallelism (diff) | |
| download | monero-f04d4a78de257d44f62ca00e0d3ed9ca6ab57a46.tar.xz | |
Merge pull request #2910
37f9c6e6 Dockerfile: add option to set build parallelism (MoroccanMalinois)
Diffstat (limited to '')
| -rw-r--r-- | Dockerfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index 71b0658a0..a62e263cb 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,8 +21,10 @@ RUN apt-get update && \ WORKDIR /src COPY . . + +ARG NPROC RUN rm -rf build && \ - make -j$(nproc) release-static + if [ -z "$NPROC" ];then make -j$(nproc) release-static;else make -j$NPROC release-static;fi # runtime stage FROM ubuntu:16.04 |