diff --git a/dockerfile b/dockerfile index 0c1a09c..7b252c4 100644 --- a/dockerfile +++ b/dockerfile @@ -84,10 +84,10 @@ RUN cmake .. RUN make -j $no_threads # build minigrid -COPY ./Minigrid /opt/Minigrid -RUN rm -r /opt/Minigrid/.git -WORKDIR /opt/Minigrid -RUN pip install . +#COPY ./Minigrid /opt/Minigrid +#RUN rm -r /opt/Minigrid/.git +#WORKDIR /opt/Minigrid +#RUN pip install .