diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-11-18 10:05:27 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-11-18 10:05:27 -0500 |
| commit | aa7e99e130b47caebaacd24e6d9e4f89f42cd213 (patch) | |
| tree | 5b599c731389e0b259b840710f8db1ffe9913181 /Dockerfile | |
| parent | 79a4dcec2e34c5d58ab0661146ee9727452d672b (diff) | |
| download | spm-aa7e99e130b47caebaacd24e6d9e4f89f42cd213.tar.gz | |
Next chunk
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ RUN curl -L https://github.com/jhunkeler/reloc/archive/master.tar.gz | tar zxf - && cd reloc-* \ && mkdir -p build \ && cd build \ - && cmake .. -DCMAKE_INSTALL_PREFIX=/usr \ + && cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/usr \ && make \ && make install \ && cd /build |