Commit 93584c89 authored by Steffen Müthing's avatar Steffen Müthing

Fix ownership of cmake-flags directory to let test runs override build flags

parent 7d45925d
......@@ -7,4 +7,4 @@ COPY cmake-flags /duneci/cmake-flags
COPY dune.opts /duneci/
ENV DUNE_CONTROL_PATH=.:/duneci/modules
ENV PATH=/duneci/bin:$PATH
RUN ln -s dune-ctest /duneci/bin/duneci-ctest
RUN ln -s dune-ctest /duneci/bin/duneci-ctest && chown duneci /duneci/cmake-flags
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