Commit a929b3d3 authored by Lukas Riedel's avatar Lukas Riedel

Fix application of PROCNUM argument in Dockerfile

MAKE_FLAGS are not propagated by dunecontrol when using 'make' argument

[ci skip]
parent d76df6b3
......@@ -12,8 +12,7 @@ WORKDIR /opt/dune
ADD . /opt/dune/dorie/
./dune-common/bin/dunecontrol --only=dorie configure \
./dune-common/bin/dunecontrol --only=dorie make dorie-rfg dorie \
&& ./dune-common/bin/dunecontrol --only=dorie make -j ${PROCNUM} dorie-rfg dorie \
&& ./dune-common/bin/dunecontrol --only=dorie exec \
"rm build-cmake/dune/dorie/impl/libdorie-impl.a build-cmake/dune/dorie/impl/CMakeFiles/dorie-impl.dir/*.cc.o"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment