Commit 37a3731b authored by Ansgar Burchardt's avatar Ansgar Burchardt

Target directories must end with a slash.

parent 8593548d
......@@ -30,4 +30,4 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci
COPY opts.clang opts.gcc /duneci
COPY opts.clang opts.gcc /duneci/
......@@ -30,4 +30,4 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
RUN adduser --disabled-password --home /duneci duneci
USER duneci
WORKDIR /duneci
COPY opts.clang opts.gcc /duneci
COPY opts.clang opts.gcc /duneci/
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