fatal: destination path 'src/cp-models-p15' already exists and is not an empty directory.

[karelflere]

When running the build.sh script, I encounter the following error:

Step 5/17 : RUN git clone https://github.com/cmu-mars/cp-models-p15 src/cp-models-p15 && cd src/cp-models-p15 && git checkout "${MARS_MODELS_REVISION}"
---> Running in 922a08b42450
fatal: destination path 'src/cp-models-p15' already exists and is not an empty directory.
ERROR: Service 'brasscomms' failed to build: The command '/bin/sh -c git clone https://github.com/cmu-mars/cp-models-p15 src/cp-models-p15 && cd src/cp-models-p15 && git checkout "${MARS_MODELS_REVISION}"' returned a non-zero code: 128

When I disable the following lines the build script is able to complete the build.
However, will the build work as intended when I do so?

install shared "models" module

ENV MARS_MODELS_REVISION 5dd3542
RUN git clone https://github.com/cmu-mars/cp-models-p15
src/cp-models-p15 &&
cd src/cp-models-p15 &&
git checkout "${MARS_MODELS_REVISION}"

[schmerl]

This repo contains the base docker image that was used for a now defunct research project. So, it isn't being supported any more and it is here mostly for posterity.