diff options
Diffstat (limited to '.cirrus')
| -rw-r--r-- | .cirrus/Dockerfile.ubuntu16.04 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04 index fa40b6c1..d7600ded 100644 --- a/.cirrus/Dockerfile.ubuntu16.04 +++ b/.cirrus/Dockerfile.ubuntu16.04 @@ -49,6 +49,6 @@ RUN set -e -x ;\ cd prjtrellis ;\ git reset --hard 668ce3492cbe1566c61760f06bdf676f6fb265c3 ;\ cd libtrellis ;\ - cmake -DCMAKE_INSTALL_PREFIX=/usr . ;\ + cmake . ;\ make -j $(nproc) ;\ make install |