Skip to content
Snippets Groups Projects
Commit cf7e5357 authored by Wittenburg, William's avatar Wittenburg, William
Browse files

Do not make directory for source checkout

According to circle docs, if you include the path argument to "checkout":
if the path exists and is a git repo, no clone will be done, only fetch
from origin.  If path exists and is not a git repo, it is an error.
parent 4e7b4bbb
No related branches found
No related tags found
1 merge request!253Finish image buildout
......@@ -61,7 +61,4 @@ RUN cd source && \
# Cleanup
RUN rm -rf /opt/adios1/1.12.0/source
# Make the directory where CircleCI can clone the ADIOS2 source
RUN mkdir -p /home/adios2/source
WORKDIR /home/adios2
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment