diff --git a/docker/Dockerfile.finn_ci b/docker/Dockerfile.finn_ci index 69046127945791f6c21b9d5a9201f1ea550625b5..3aab7842196ad805fc22d59df2171ff02adc2466 100644 --- a/docker/Dockerfile.finn_ci +++ b/docker/Dockerfile.finn_ci @@ -34,7 +34,7 @@ WORKDIR /workspace RUN apt-get update RUN apt-get -y upgrade RUN apt-get install -y build-essential libglib2.0-0 libsm6 libxext6 libxrender-dev -RUN apt-get install -y verilator zsh nano +RUN apt-get install -y verilator zsh nano rsync RUN apt-get install -y sshpass wget unzip RUN echo "StrictHostKeyChecking no" >> /etc/ssh/ssh_config