diff options
| author | Schanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de> | 2017-10-25 14:47:48 +0200 |
|---|---|---|
| committer | Schanzenbach, Martin <martin.schanzenbach@aisec.fraunhofer.de> | 2017-10-25 14:47:48 +0200 |
| commit | f431f72d9ab213d8989bfb45366321bbb983d888 (patch) | |
| tree | 76ec0cd0b253f1058a377c753e40cd020b6646e0 /Dockerfile | |
| parent | 2edaa4ebc120bd3c6bd81d9cd292f10151f0539d (diff) | |
| download | gnunet-f431f72d9ab213d8989bfb45366321bbb983d888.tar.gz gnunet-f431f72d9ab213d8989bfb45366321bbb983d888.zip | |
-fixes
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile index 3f3e5b29b..5a193a46d 100644 --- a/Dockerfile +++ b/Dockerfile | |||
| @@ -47,9 +47,10 @@ RUN git checkout gnuidentity | |||
| 47 | RUN mkdir /usr/src/gnunet | 47 | RUN mkdir /usr/src/gnunet |
| 48 | WORKDIR /usr/src/gnunet | 48 | WORKDIR /usr/src/gnunet |
| 49 | ADD . . | 49 | ADD . . |
| 50 | ARG NUM_JOBS | ||
| 50 | RUN ./bootstrap | 51 | RUN ./bootstrap |
| 51 | RUN ./configure --prefix=/usr/local | 52 | RUN ./configure --prefix=/usr/local |
| 52 | RUN make -j | 53 | RUN make -j$NUM_JOBS |
| 53 | RUN make install | 54 | RUN make install |
| 54 | 55 | ||
| 55 | RUN groupadd gnunetdns | 56 | RUN groupadd gnunetdns |