more 2020 updates

networkop · Sep 18, 2020 · 54e9462 · 54e9462
1 parent c591ef0
commit 54e9462
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/batfish/Dockerfile b/tests/batfish/Dockerfile
@@ -4,7 +4,7 @@ RUN apt-get update && apt-get install -y \
     git lsb-release wget unzip \
     openjdk-8-jdk-headless maven binutils libgomp1
 
-RUN git clone https://github.com/batfish/batfish.git
+RUN git clone --depth 1 --branch 21sep2018 https://github.com/batfish/batfish.git
 
 RUN ["/bin/bash", "-c", "cd batfish && \
                          tools/install_z3.sh && \